On Different Concepts of Resolution

Mathematical Logic Quarterly 35 (1):71-77 (1989)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19890350109

Links

PhilArchive



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

External links

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

Through your library

My notes

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 resolution of two paradoxes by approximate reasoning using a fuzzy logic.J. F. Baldwin & N. C. F. Guild - 1980 - Synthese 44 (3):397 - 420.
Resolution for Intuitionistic Logic.Melvin Fitting - unknown
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.
Review of A. Leitsch The Resolution Calculus. [REVIEW]K. Tanaka - 2000 - Studia Logica 64 (1):136.

Analytics

Added to PP
2013-12-01

Downloads
9 (#1,187,161)

6 months
2 (#1,157,335)

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