Clausal intuitionistic logic II. tableau proof procedures
From MaRDI portal
Publication:3809765
DOI10.1016/0743-1066(88)90014-3zbMath0661.03004OpenAlexW1967187961WikidataQ127609727 ScholiaQ127609727MaRDI QIDQ3809765
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)90014-3
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (8)
Intuitionistic interpretation of deductive databases with incomplete information ⋮ Programming in metric temporal logic ⋮ A Survey of the Proof-Theoretic Foundations of Logic Programming ⋮ Semantics of structured normal logic programs ⋮ Hypothetical datalog: Complexity and expressibility ⋮ Agenda control for heterogeneous reasoners ⋮ A proof procedure for the logic of hereditary Harrop formulas ⋮ Fixpoint semantics for logic programming a survey
This page was built for publication: Clausal intuitionistic logic II. tableau proof procedures
