On Different Concepts of Resolution

Mathematical Logic Quarterly 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,349

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

Pool resolution is NP-hard to recognize.Samuel R. Buss - 2009 - Archive for Mathematical Logic 48 (8):793-798.
The Complexity of Resolution Refinements.Joshua Buresh-Oppenheim & Toniann Pitassi - 2007 - Journal of Symbolic Logic 72 (4):1336 - 1352.
The resolution calculus, Alexander Leitsch.Hans de Nivelle - 1998 - Journal of Logic, Language and Information 7 (4):499-502.
Complexity of resolution proofs and function introduction.Matthias Baaz & Alexander Leitsch - 1992 - Annals of Pure and Applied Logic 57 (3):181-215.
The Depth of Resolution Proofs.Alasdair Urquhart - 2011 - Studia Logica 99 (1-3):349-364.
Legitimacy and the virtualization of dispute resolution.Laurens Mommers - 2005 - Artificial Intelligence and Law 13 (2):207-232.
Concepts.Eric Margolis & Stephen Laurence - 2011 - Stanford Encyclopedia of Philosophy.
Traditions and True Successors.David-Hillel Ruben - 2013 - Social Epistemology 27 (1):32 - 46.
Resolution calculus for the first order linear logic.Grigori Mints - 1993 - Journal of Logic, Language and Information 2 (1):59-83.

Analytics

Added to PP
2013-12-01

Downloads
9 (#1,224,450)

6 months
2 (#1,232,442)

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