3 search results - page 1 / 1 » A PROLOG Interpreter for First-Order Intuitionistic Logic |
SLP
1994
15 years 4 days ago
1994
100
click to vote
FROCOS
2000
Springer
15 years 2 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...
CORR
2002
Springer
14 years 10 months ago
2002
Springer
Abstract. We implement Groenendijk and Stokhof's partition semantics of questions in a simple question answering algorithm. The algorithm is sound, complete, and based on tabl...