Classical Model Existence And Left Resolution

Logic and Logical Philosophy 16 (4):333-352 (2007)
  Copy   BIBTEX

Abstract

By analyzing what are necessary conditions in the proof [4] ofthe classical model existence theorem CME, we present the left resolution Gentzen systems R,which proof-theoretically characterize CME.

Categories

Keywords

Reprint years

DOI

10.12775/llp.2007.011

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,347

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

Higher-Order Multi-Valued Resolution.Michael Kohlhase - 1999 - Journal of Applied Non-Classical Logics 9 (4):455-477.
Pool resolution is NP-hard to recognize.Samuel R. Buss - 2009 - Archive for Mathematical Logic 48 (8):793-798.
Resolution for Intuitionistic Logic.Melvin Fitting - unknown
Gentzen-type systems, resolution and tableaux.Arnon Avron - 1993 - Journal of Automated Reasoning 10:265-281.
Resolution calculus for the first order linear logic.Grigori Mints - 1993 - Journal of Logic, Language and Information 2 (1):59-83.
Special Model Axiom in Nonstandard Set Theory.Vladimir Kanovei & Michael Reeken - 1999 - Mathematical Logic Quarterly 45 (3):371-384.
Realization of Intuitionistic Logic by Proof Polynomials.Sergei N. Artemov - 1999 - Journal of Applied Non-Classical Logics 9 (2-3):285-301.
Da temporalidade da existência e do instante /From the temporality of the existence and from the instant.Fernandes Marcos - 2-15 - Natureza Humana 17 (1):32-57.
Complexity of resolution proofs and function introduction.Matthias Baaz & Alexander Leitsch - 1992 - Annals of Pure and Applied Logic 57 (3):181-215.
Systematization of finite many-valued logics through the method of tableaux.Walter A. Carnielli - 1987 - Journal of Symbolic Logic 52 (2):473-493.
The Complexity of Resolution Refinements.Joshua Buresh-Oppenheim & Toniann Pitassi - 2007 - Journal of Symbolic Logic 72 (4):1336 - 1352.
Handedness, self-models and embodied cognitive content.Holger Lyre - 2008 - Phenomenology and the Cognitive Sciences 7 (4):529–538.
Kant's Pre-Critical Proof for God's Existence.Steven M. Duncan - manuscript
The Depth of Resolution Proofs.Alasdair Urquhart - 2011 - Studia Logica 99 (1-3):349-364.
Labelled resolution for classical and non-classical logics.D. M. Gabbay & U. Reyle - 1997 - Studia Logica 59 (2):179-216.

Analytics

Added to PP
2013-11-24

Downloads
441 (#45,137)

6 months
11 (#246,433)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references