A first order nonmonotonic extension of constructive logic

DOI10.1007/s11225-005-8473-8zbMath1097.03020OpenAlexW2037991309MaRDI QIDQ813086

N. E. Zubov

Publication date: 30 January 2006

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11225-005-8473-8

zbMATH Keywords

interpolationanswer set programmingequilibrium logicconstructive negationhere-and-there logic

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Logic in artificial intelligence (68T27) Logic in computer science (03B70)

Related Items

Expressiveness of Logic Programs under the General Stable Model Semantics ⋮ Characterising equilibrium logic and nested logic programs: Reductions and complexity, ⋮ Equilibrium logic ⋮ Non-classical negation in the works of Helena Rasiowa and their impact on the theory of negation ⋮ Synonymous theories and knowledge representations in answer set programming ⋮ Quantified Equilibrium Logic and Foundations for Answer Set Programs

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Synonymous theories and knowledge representations in answer set programming
• The Craig interpolation theorem for propositional logics with strong negation
• Semantical investigations in Heyting's intuitionistic logic
• Semantical analyses of propositional systems of Fitch and Nelson
• Intuitionistic logic with strong negation
• Lattices related to Post algebras and their applications to some logical systems
• The logic of information structures
• Vivid logic. Knowledge-based reasoning with two kinds of negation
• On extensions of intermediate logics by strong negation
• Extending and implementing the stable model semantics
• On intermediate predicate logics of some finite Kripke frames. I: Levelwise uniform trees
• Nested expressions in logic programs
• Herbrand’s Theorem for Prenex Gödel Logic and Its Consequences for Theorem Proving
• A logic stronger than intuitionism
• Knowledge Representation, Reasoning and Declarative Problem Solving
• Characterization of strongly equivalent logic programs in intermediate logics
• Kripke Completeness of First-Order Constructive Logics with Strong Negation
• Unfolding partiality and disjunctions in stable model semantics
• The DLV system for knowledge representation and reasoning
• Logic Programming
• Logic Programming and Nonmonotonic Reasoning
• A semantical study of constructible falsity
• Strongly equivalent logic programs
• Constructible falsity