446 search results - page 11 / 90 » Automating Theories in Intuitionistic Logic |
198
Voted
NIL
1991
15 years 3 months ago
1991
In this paper we continue investigations of proof theory of default logic. It turns out that, similarly to classical logic, default theories can be represented in normal forms.
73
Voted
CSL
1995
Springer
15 years 4 months ago
1995
Springer
91
Voted
LICS
1991
IEEE
15 years 3 months ago
1991
IEEE
51
Voted
LICS
1987
IEEE
15 years 3 months ago
1987
IEEE
113
click to vote
LOPSTR
1995
Springer
15 years 4 months ago
1995
Springer
We present an automated proof method for constructive logic based on Wallen’s matrix characterization for intuitionistic validity. The proof search strategy extends Bibel’s con...