Clausal intuitionistic logic I. fixed-point semantics

DOI10.1016/0743-1066(88)90005-2zbMath0645.03006OpenAlexW1986404405MaRDI QIDQ3787973

L. Thorne McCarty

Publication date: 1988

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

Full work available at URL: https://doi.org/10.1016/0743-1066(88)90005-2

zbMATH Keywords

intuitionistic logicintuitionistic semanticsfixed point semanticsextension of Horn clause logicmodel intersection property

Mathematics Subject Classification ID

Related Items (16)

The computational complexity of the satisfiability of modal Horn clauses for modal propositional logics ⋮ Intuitionistic interpretation of deductive databases with incomplete information ⋮ An abstract interpretation framework for optimizing dynamic modular logic languages ⋮ Equilibrium logic ⋮ Programming in metric temporal logic ⋮ Hypothetical updates, priority and inconsistency in a logic programming language ⋮ A Survey of the Proof-Theoretic Foundations of Logic Programming ⋮ Semantics of structured normal logic programs ⋮ Hypothetical datalog: Complexity and expressibility ⋮ Hypothetical reasoning in logic programming: A semantic approach ⋮ Extending Horn clause logic with implication goals ⋮ The computational complexity of satisfiability of temporal Horn formulas in propositional linear-time temporal logic ⋮ Agenda control for heterogeneous reasoners ⋮ Reasoning about nonlinear system identification ⋮ Programming in three-valued logic ⋮ Fixpoint semantics for logic programming a survey

This page was built for publication: Clausal intuitionistic logic I. fixed-point semantics