414 search results - page 1 / 83 » Resolution for Intuitionistic Logic |
ISMIS
1987
Springer
13 years 11 months ago
1987
Springer
AML
2005
13 years 7 months ago
2005
We perform a proof-theoretical investigation of two modal predicate logics: global intuitionistic logic GI and global intuitionistic fuzzy logic GIF. These logics were introduced b...
CIE
2006
Springer
13 years 11 months ago
2006
Springer
LJQ is a focused sequent calculus for intuitionistic logic, with
LFCS
2009
Springer
14 years 2 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 11 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...