A First Order Nonmonotonic Extension of Constructive Logic

Studia Logica 80 (2-3):321-346 (2005)

Certain extensions of Nelson's constructive logic N with strong negation have recently become important in arti.cial intelligence and nonmonotonic reasoning, since they yield a logical foundation for answer set programming (ASP). In this paper we look at some extensions of Nelson's .rst-order logic as a basis for de.ning nonmonotonic inference relations that underlie the answer set programming semantics. The extensions we consider are those based on 2-element, here-and-there Kripke frames. In particular, we prove completeness for .rst-order here-and-there logics, and their minimal strong negation extensions, for both constant and varying domains. We choose the constant domain version, which we denote by QNc5, as a basis for de.ning a .rst-order nonmonotonic extension called equilibrium logic. We establish several metatheoretic properties of QNc5, including Skolem forms and Herbrand theorems and Interpolation, and show that the .rst-oder version of equilibrium logic can be used as a foundation for answer set inference.
Keywords Philosophy   Logic   Mathematical Logic and Foundations   Computational Linguistics
Categories (categorize this paper)
DOI 10.1007/s11225-005-8473-8
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 43,999
Through your library

References found in this work BETA

Constructible Falsity.David Nelson - 1949 - Journal of Symbolic Logic 14 (1):16-26.
On Extensions of Intermediate Logics by Strong Negation.Marcus Kracht - 1998 - Journal of Philosophical Logic 27 (1):49-73.
A Semantical Study of Constructible Falsity.Richmond H. Thomason - 1969 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 15 (16-18):247-257.
Intuitionistic Logic with Strong Negation.Yuri Gurevich - 1977 - Studia Logica 36 (1-2):49 - 59.

View all 15 references / Add more references

Citations of this work BETA

Add more citations

Similar books and articles

Jumps and Logic in the Law.Aleksander Peczenik - 1996 - Artificial Intelligence and Law 4 (3-4):297-329.
Bridges Between Classical and Nonmonotonic Logic.David Makinson - 2003 - Logic Journal of the IGPL 11 (1):69-96.
Semantics-Based Nonmonotonic Inference.Heinrich Wansing - 1995 - Notre Dame Journal of Formal Logic 36 (1):44-54.
Real Logic is Nonmonotonic.Henry E. Kyburg Jr - 2001 - Minds and Machines 11 (4):577-595.
On Skolemization in Constructive Theories.Matthias Baaz & Rosalie Iemhoff - 2008 - Journal of Symbolic Logic 73 (3):969-998.
Nonmonotonic Inconsistency.Charles B. Cross - 2003 - Artificial Intelligence 149 (2):161-178.
Logical Problems with Nonmonotonicity.Piotr Łukowski - 2014 - Logic and Logical Philosophy (2):171-188.
Logical Calculi for Reasoning in the Presence of Uncertainty.Thomas J. Weigert - 1989 - Dissertation, University of Illinois at Chicago
Relevant Logic as a Basis for Paraconsistent Epistemic Logics.Gerson Zaverucha - 1992 - Journal of Applied Non-Classical Logics 2 (2):225-241.


Added to PP index

Total views
26 ( #333,185 of 2,266,717 )

Recent downloads (6 months)
2 ( #591,796 of 2,266,717 )

How can I increase my downloads?


My notes

Sign in to use this feature