On Different Concepts of Resolution

Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 35 (1):71-77 (1989)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,069

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

On Different Concepts of Resolution.Alexander Leitsch - 1989 - Mathematical Logic Quarterly 35 (1):71-77.
Complexity of resolution proofs and function introduction.Matthias Baaz & Alexander Leitsch - 1992 - Annals of Pure and Applied Logic 57 (3):181-215.
Pool resolution is NP-hard to recognize.Samuel R. Buss - 2009 - Archive for Mathematical Logic 48 (8):793-798.
The Resolution Calculus.Alexander Leitsch - 2000 - Studia Logica 64 (1):136-136.
A Resolution Calculus For Shortening Proofs.Nicolas Peltier - 2005 - Logic Journal of the IGPL 13 (3):307-333.
The Complexity of Resolution Refinements.Joshua Buresh-Oppenheim & Toniann Pitassi - 2007 - Journal of Symbolic Logic 72 (4):1336 - 1352.
Some Problems in the Logic of Motion.I. Iu Petrov - 1964 - Russian Studies in Philosophy 3 (2):35-42.
The resolution calculus, Alexander Leitsch.Hans de Nivelle - 1998 - Journal of Logic, Language and Information 7 (4):499-502.
Resolution-based methods for modal logics.H. de Nivelle, R. Schmidt & U. Hustadt - 2000 - Logic Journal of the IGPL 8 (3):265-292.
The Depth of Resolution Proofs.Alasdair Urquhart - 2011 - Studia Logica 99 (1-3):349-364.

Analytics

Added to PP
2015-12-02

Downloads
20 (#669,591)

6 months
1 (#1,087,801)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Proof Theory of Finite-valued Logics.Richard Zach - 1993 - Dissertation, Technische Universität Wien
Complexity of resolution proofs and function introduction.Matthias Baaz & Alexander Leitsch - 1992 - Annals of Pure and Applied Logic 57 (3):181-215.

Add more citations

References found in this work

Symbolic logic and mechanical theorem proving.Chin-Liang Chang - 1973 - San Diego: Academic Press. Edited by Richard Char-Tung Lee.
Automated Theorem Proving. A Logical Basis.Donald W. Loveland - 1980 - Journal of Symbolic Logic 45 (3):629-630.

Add more references