7 search results - page 2 / 2 » cade 1997 |
CADE
1997
Springer
14 years 21 days 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...
CADE
1997
Springer
14 years 3 days 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...