Programming in three-valued logic

DOI10.1016/0304-3975(51)90008-4MaRDI QIDQ753474zbMATH OpenOpenAlexFDO

Authors V. Thibau, Jean-Paul Delahaye

Publication date 1991

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0304-3975(51)90008-4

zbMATH Keywords

deductive databaseslogic programs with negation

Mathematics Subject Classification ID

Many-valued logic (03B50) Logic programming (68N17) Database theory (68P15)

Recommendations

• A three-valued semantics for logic programmers
• Intuitionistic three-valued logic and logic programming
• scientific article; zbMATH DE number 4049622
• Logic Programs under Three-Valued Łukasiewicz Semantics
• A three-valued semantics for typed logic programming
• scientific article; zbMATH DE number 3887655
• scientific article; zbMATH DE number 3870580
• Computer Aided Verification
• Three-valued propositional dynamic logic

Cites work

• scientific article; zbMATH DE number 3866574 (Why is no real title available?)
• scientific article; zbMATH DE number 3872640 (Why is no real title available?)
• scientific article; zbMATH DE number 4199654 (Why is no real title available?)
• scientific article; zbMATH DE number 4199656 (Why is no real title available?)
• scientific article; zbMATH DE number 194130 (Why is no real title available?)
• scientific article; zbMATH DE number 549976 (Why is no real title available?)
• scientific article; zbMATH DE number 3400850 (Why is no real title available?)
• scientific article; zbMATH DE number 4185011 (Why is no real title available?)
• A kripke-kleene semantics for logic programs*
• A sound and complete semantics for a version of negation as failure
• Axiom schemes for m-valued propositions calculi
• Clausal intuitionistic logic I. fixed-point semantics
• Complete logic programs with domain-closure axiom
• Contributions to the Theory of Logic Programming
• Negation as inconsistency. I
• Negation in logic programming
• Notes on the mathematical aspects of Kripke's theory of truth
• Optimal fixedpoints of logic programs
• Partial models and logic programming
• Quantitative deduction and its fixpoint theory
• The Semantics of Predicate Logic as a Programming Language
• The Theoretical Aspects of the Optimal Fixedpoint
• The optimal approach to recursive programs

Cited in

(12)

• A kind of logical compilation for knowledge bases
• QUANTUM COMPUTATIONAL FINITE-VALUED LOGICS
• scientific article; zbMATH DE number 3870581 (Why is no real title available?)
• Logic programming with default, weak and strict negations
• Negation in logic programming
• A three-valued semantics for logic programmers
• Nondeterministic three-valued logic: isotonic and guarded truth-functions
• Logic Programs under Three-Valued Łukasiewicz Semantics
• Legality concepts for three-valued logic programs
• Truth versus information in logic programming
• scientific article; zbMATH DE number 1931681 (Why is no real title available?)
• Institutions of variable truth values: An approach in the ordered style

This page was built for publication: Programming in three-valued logic

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