483 search results - page 2 / 97 » Intuitionistic hybrid logic |
CIE
2006
Springer
13 years 9 months ago
2006
Springer
LJQ is a focused sequent calculus for intuitionistic logic, with
LFCS
2009
Springer
13 years 11 months ago
2009
Springer
Abstract. We address the problem of quantitative comparison of classical and intuitionistic logics within the language of the full propositional system. We apply two different app...
TABLEAUX
1997
Springer
13 years 9 months ago
1997
Springer
We present a Prolog program that implements a sound and complete theorem prover for first-order intuitionistic logic. It is based on free-variable semantic tableaux extended by an...
CADE
1997
Springer
13 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...
TABLEAUX
2005
Springer
13 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...