446 search results - page 11 / 90 » Automating Theories in Intuitionistic Logic |
NIL
1991
13 years 11 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.
CSL
1995
Springer
13 years 11 months ago
1995
Springer
LICS
1991
IEEE
13 years 11 months ago
1991
IEEE
LICS
1987
IEEE
13 years 11 months ago
1987
IEEE
LOPSTR
1995
Springer
13 years 11 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...