Programming in three-valued logic
From MaRDI portal
Publication:753474
DOI10.1016/0304-3975(51)90008-4zbMATH Open0716.68022OpenAlexW2067116405MaRDI QIDQ753474FDOQ753474
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
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
- Title not available (Why is that?)
- Title not available (Why is that?)
- The Semantics of Predicate Logic as a Programming Language
- Notes on the mathematical aspects of Kripke's theory of truth
- Title not available (Why is that?)
- Axiom schemes for m-valued propositions calculi
- A kripke-kleene semantics for logic programs*
- Quantitative deduction and its fixpoint theory
- Clausal intuitionistic logic I. fixed-point semantics
- Negation in logic programming
- Contributions to the Theory of Logic Programming
- The Theoretical Aspects of the Optimal Fixedpoint
- Optimal fixedpoints of logic programs
- Title not available (Why is that?)
- The optimal approach to recursive programs
- Partial models and logic programming
- Title not available (Why is that?)
- A sound and complete semantics for a version of negation as failure
- Negation as inconsistency. I
- Complete logic programs with domain-closure axiom
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
Cited In (12)
- Title not available (Why is that?)
- Legality concepts for three-valued logic programs
- Negation in logic programming
- Institutions of variable truth values: An approach in the ordered style
- A kind of logical compilation for knowledge bases
- Truth versus information in logic programming
- Logic Programs under Three-Valued Łukasiewicz Semantics
- A three-valued semantics for logic programmers
- Logic programming with default, weak and strict negations
- Nondeterministic three-valued logic: isotonic and guarded truth-functions
- Title not available (Why is that?)
- QUANTUM COMPUTATIONAL FINITE-VALUED LOGICS
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)
