Negation as inconsistency. I

DOI10.1016/0743-1066(86)90002-6zbMath0606.68086OpenAlexW4212824748MaRDI QIDQ3745320

Marek Sergot, Dov M. Gabbay

Publication date: 1986

Published in: The Journal of Logic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0743-1066(86)90002-6

zbMATH Keywords

PROLOGlogic programmingpositive predicate calculusHorn clause programmingN-PROLOGminimal predicate calculus

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65) Mechanization of proofs and logical operations (03B35) General topics in the theory of software (68N01)

Related Items

General logical databases and programs: Default logic semantics and stratification ⋮ Mints type deductive calculi for logic programming ⋮ Agenda control for heterogeneous reasoners ⋮ Reasoning about nonlinear system identification ⋮ Programming in three-valued logic ⋮ Negation in rule-based database languages: A survey ⋮ On the relation between default and modal nonmonotonic reasoning ⋮ What Is Negation in a System 2020?