Intuitionistic three-valued logic and logic programming

DOI10.1051/ita/1991250605571zbMath0771.68084OpenAlexW136719933MaRDI QIDQ3991300

No author found.

Publication date: 28 June 1992

Published in: RAIRO - Theoretical Informatics and Applications (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/92405

zbMATH Keywords

SLD-resolutionsemantics of logic programsClark's completionsemantics for programs with negationSLDNF- resolutionTrivalued sequent calculus

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Logic programming (68N17)

Cites Work

• Negation as failure: a comparison of Clark's completed data base and Reiter's closed world assumption
• A kripke-kleene semantics for logic programs*
• Negation as failure. II
• Negation in logic programming
• A linear axiomatization of negation as failure
• The Semantics of Predicate Logic as a Programming Language
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Intuitionistic three-valued logic and logic programming