Clausal intuitionistic logic I. fixed-point semantics
From MaRDI portal
Publication:3787973
DOI10.1016/0743-1066(88)90005-2zbMath0645.03006OpenAlexW1986404405MaRDI QIDQ3787973
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
intuitionistic logicintuitionistic semanticsfixed point semanticsextension of Horn clause logicmodel intersection property
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
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