202 search results - page 3 / 41 » Proof Search in Minimal Logic |
84
Voted
TABLEAUX
1995
Springer
15 years 2 months ago
1995
Springer
We present a proof method for intuitionistic logic based on Wallen’s matrix characterization. Our approach combines the connection calculus and the sequent calculus. The search t...
78
Voted
CADE
2001
Springer
15 years 11 months ago
2001
Springer
The STRIP system is a theorem prover for intuitionistic propositional logic with two main characteristics: it deals with the duplication of formulae during proof-search from a fine...
108
Voted
TABLEAUX
2009
Springer
15 years 3 months ago
2009
Springer
Abstract. Bi-intuitionistic logic is a conservative extension of intuitionistic logic with a connective dual to implication, called exclusion. We present a sound and complete cut-f...
73
Voted
CADE
2006
Springer
15 years 11 months ago
2006
Springer
We present a proof procedure that is complete for first-order logic, but which can also be used when searching for finite models. The procedure uses a normal form which is based on...
91
Voted
CORR
2010
Springer
14 years 11 months ago
2010
Springer
We consider an extension of bi-intuitionistic logic with the traditional modalities , , and from tense logic Kt. Proof theoretically, this extension is obtained simply by extendin...