Computing and comparing semantics of programs in four-valued logics

DOI10.1007/3-540-48340-3_6MaRDI QIDQ4941889zbMATH OpenFDO

Authors Yann Loyer, Nicolas Spyratos, Daniel Stamate

Publication date 19 March 2000

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-48340-3_6

zbMATH Keywords

four-valued logicinconsistencylogic programminglogics of knowledge

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Many-valued logic (03B50) Logic in computer science (03B70) Logic programming (68N17) Semantics in the theory of computing (68Q55)

Recommendations

• Parametrized semantics of logic programs -- a unifying framework
• A kripke-kleene semantics for logic programs*
• Truth versus information in logic programming
• A logical foundation for logic programming II: Semantics of general logic programs
• An empirical study of the 4-valued Kripke--Kleene and 4-valued well-founded semantics in random propositional logic programs

Cited in

(8)

• An implementation of Kripke-Kleene semantics
• Parametrized semantics of logic programs -- a unifying framework
• An empirical study of the 4-valued Kripke--Kleene and 4-valued well-founded semantics in random propositional logic programs
• Truth versus information in logic programming
• scientific article; zbMATH DE number 1223549 (Why is no real title available?)
• Hypothesis support for information integration in four-valued logics
• Hypothesis-based semantics of logic programs in multivalued logics
• Gates and circuits via Dunn semantics

This page was built for publication: Computing and comparing semantics of programs in four-valued logics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4941889)