414 search results - page 2 / 83 » Resolution for Intuitionistic Logic |
129
Voted
CADE
1997
Springer
15 years 9 months ago
1997
Springer
Abstract. We present a technique that efficiently translates propositional intuitionistic formulas into propositional classical formulas. This technique allows the use of arbitrary...
148
Voted
TABLEAUX
2005
Springer
15 years 10 months ago
2005
Springer
The Intuitionistic Logic Theorem Proving (ILTP) Library provides a platfom for testing and benchmarking theorem provers for first-order intuitionistic logic. It includes a collect...
138
click to vote
FROCOS
2007
Springer
15 years 11 months ago
2007
Springer
We present a simple logic that combines, in a conservative way, the implicative fragments of both classical and intuitionistic logics, thus settling a problem posed by Dov Gabbay i...
132
click to vote
TABLEAUX
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. We present a clausal connection calculus for first-order intuitionistic logic. It extends the classical connection calculus by adding prefixes that encode the character...