414 search results - page 2 / 83 » Resolution for Intuitionistic Logic |
CADE
1997
Springer
13 years 11 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...
TABLEAUX
2005
Springer
14 years 1 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...
LPAR
2010
Springer
13 years 5 months ago
2010
Springer
In the celebrated G
FROCOS
2007
Springer
14 years 1 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...
TABLEAUX
2005
Springer
14 years 1 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...