7 search results - page 2 / 2 » cade 1997 |
171
Voted
CADE
1997
Springer
15 years 11 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...
171
Voted
CADE
1997
Springer
15 years 11 months ago
1997
Springer
In this paper we study the completeness of resolution when it is restricted by a non-liftable order and by weak subsumption. A non-liftable order is an order that does not satisfy...