MetaCartSign in to MyCiteSeer

Include Citations | Advanced Search | Help

Include Citations | Advanced Search | Help

  Resolution, inverse method and the sequent

Download:
pdf | ps
by Tanel Tammet
http://www.cs.chalmers.se/~tammet/kgcinv.ps
Add To MetaCart

Abstract:

calculus

Citations

738 A machine-oriented logic based on the resolution principle – Robinson - 1965
238 Symbolic Logic and Mechanical Theorem Proving – Chang, Lee - 1973
46 Resolution Methods for the Decision Problem – Fermuller, Leitsch, et al. - 1993
38 Proof search in the intuitionistic sequent calculus – Shankar - 1992
31 Resolution-based theorem proving for many-valued logics – Baaz, Fermuller - 1995
29 A Resolution Theorem Prover for Intuitionistic Logic – Tammet - 1996
28 Gentzen-type Systems and Resolution Rules. Part I. Propositional Logic – Mints - 1990
28 Proof strategies in linear logic – Tammet - 1994
20 The inverse method of establishing deducibility in the classical predicate calculus – Maslov - 1964
19 Resolution Calculus for the First Order Linear Logic – Mints - 1993
19 Theorem proving in non-standard logics based on the inverse method – Voronkov - 1992
13 Resolution strategies for the intuitionistic logic – Mints - 1994
2 Resolution for Intuitionistic Logic. Paper presented at ISMIS '87 – Fitting - 1987
1 Transfer of Sequent Calculus Strategies to Resolution – Mints, Orevkov, et al. - 1996
View or Download | Add to My Collection | Correct Errors