2 search results - page 1 / 1 » Satisfaction and Friendliness Relations within Classical Log... |
134
Voted
TBILLC
2007
Springer
15 years 9 months ago
2007
Springer
141
click to vote
FROCOS
2000
Springer
15 years 7 months ago
2000
Springer
We define a sound and complete logic, called FO , which extends classical first-order predicate logic with intuitionistic implication. As expected, to allow the interpretation of i...