Bilattices and the semantics of logic programming

DOI10.1016/0743-1066(91)90014-GMaRDI QIDQ3983121zbMATH OpenFDO

Authors Melvin Fitting

Publication date 27 June 1992

Published in The Journal of Logic Programming (Search for Journal in Brave)

zbMATH Keywords

bilatticesBelnap four-valued logicfix-point semantics

Mathematics Subject Classification ID

Many-valued logic (03B50) Logic programming (68N17) Semantics in the theory of computing (68Q55) Logical aspects of lattices and related structures (03G10)

Recommendations

• scientific article; zbMATH DE number 4057054
• A logical foundation for logic programming II: Semantics of general logic programs
• Truth versus information in logic programming
• A logical foundation for logic programming I: Biconsequence relations and nonmonotonic completion
• scientific article; zbMATH DE number 4180779
• The value of the four values
• Effective semantics for the modal logics K and KT via non-deterministic matrices
• Belnap's Four-Valued Logic and De Morgan Lattices
• scientific article; zbMATH DE number 590999
• scientific article; zbMATH DE number 26616

Cited in

(only showing first 100 items - show all)

• Weakly idempotent lattices and bilattices, non-idempotent Plonka functions.
• Semantics for possibilistic disjunctive programs
• Fixpoint semantics for logic programming a survey
• Bilattices and the theory of truth
• Bitopology and four-valued logic
• A Hofmann-Mislove theorem for bitopological spaces
• The normal and self-extensional extension of Dunn-Belnap logic
• Answering queries from context-sensitive probabilistic knowledge bases
• Elements of intuitionistic fuzzy logic. I
• Biconsequence relations: A four-valued formalism of reasoning with inconsistency and incompleteness
• Paraconsistent constructive logic with strong negation as a contraction-free relevant logic
• Policy-based inconsistency management in relational databases
• Reasoning about ignorance and contradiction: many-valued logics versus epistemic logic
• Quantitative Logic Programming Revisited
• Bilattice logic of epistemic actions and knowledge
• Logical foundations of evidential reasoning with contradictory information
• A theory of nonmonotonic inheritance based on annotated logic
• Bi-inductive structural semantics
• Bilattices for deductions in multi-valued logic
• scientific article; zbMATH DE number 1441841 (Why is no real title available?)
• Learning any memory-less discrete semantics for dynamical systems represented by logic programs
• A family of strict/tolerant logics
• Multi-valued logic programming semantics An algebraic approach
• On partial and paraconsistent logics
• Non-deterministic approximation fixpoint theory and its application in disjunctive logic programming
• What is in a step: new perspectives on a classical question
• A BILATTICE-BASED FRAMEWORK FOR HANDLING GRADED TRUTH AND IMPRECISION
• A capacity-based framework encompassing Belnap-Dunn logic for reasoning about multisource information
• Possibilistic nested logic programs and strong equivalence
• Fixpoints for general correctness
• Some useful 16-valued logics: How a computer network should think
• A new kind of implication to reason with unknown information
• Approximate well-founded semantics, query answering and generalized normal logic programs over lattices
• Knowledge, Uncertainty and Ignorance in Logic: Bilattices and beyond
• scientific article; zbMATH DE number 786486 (Why is no real title available?)
• Autoreferential semantics for many-valued modal logics
• Fuzzy logic programming and fuzzy control
• \(\mho\)-resolution and hybrid knowledge bases
• scientific article; zbMATH DE number 5222366 (Why is no real title available?)
• Four-valued paradefinite logics
• Ordering default theories and nonmonotonic logic programs
• Note on a six-valued extension of three-valued logic
• scientific article; zbMATH DE number 2185774 (Why is no real title available?)
• An epistemic interpretation of paraconsistent weak Kleene logic
• Stone-type representations and dualities for varieties of bisemilattices
• Non-classical negation in the works of Helena Rasiowa and their impact on the theory of negation
• Annotated revision specification programs
• On all strong Kleene generalizations of classical logic
• First-order theories for pure Prolog programs with negation
• An abstract algebraic logic approach to tetravalent modal logics
• Programming with annotated logics
• Reducing fuzzy answer set programming to model finding in fuzzy logics
• A non-deterministic view on non-classical negations
• On correctness of normal logic programs
• Identity and aboutness
• Truth versus information in logic programming
• Measuring inaccuracy of uncertain doxastic states in many-valued logical systems
• Gradual trust and distrust in recommender systems
• On the provable contradictions of the connexive logics \(\mathbf{C}\) and \(\mathbf{C3}\)
• Bipolarity in bilattice logics
• Combining explicit negation and negation by failure via Belnap's logic
• A core language for fuzzy answer set programming
• Nelson's negation on the base of weaker versions of intuitionistic negation
• Preferences in artificial intelligence
• Galois connections for bilattices
• Aggregated fuzzy answer set programming
• An encompassing framework for paraconsistent logic programs
• The logic of generalized truth values and the logic of bilattices
• Introduction: Non-classical Logics—Between Semantics and Proof Theory (In Relation to Arnon Avron’s Work)
• Ideal paraconsistent logics
• Beyond multi-adjoint logic programming
• A new approach to hybrid probabilistic logic programs
• The value of the four values
• Negation on the Australian plan
• Bilattices and hyperidentities
• Borderline vs. unknown: comparing three-valued representations of imperfect information
• Any-world assumptions in logic programming
• Partial and paraconsistent three-valued logics
• Probabilistic logic programming
• The strict/tolerant idea and bilattices
• A semantical framework for supporting subjective and conditional probabilities in deductive databases
• A few more useful 8-valued logics for reasoning with tetralattice \(EIGHT_{4}\)
• scientific article; zbMATH DE number 1517022 (Why is no real title available?)
• Valuations: bi, tri, and tetra
• Completeness and cut-elimination theorems for trilattice logics
• Sound and complete SLD-resolution for bilattice-based annotated logic programs
• Syntactical investigations into \(BI\) logic and \(BB^ \prime I\) logic
• From fuzzy to annotated semantic web languages
• Reasoning with logical bilattices
• Paraconsistent disjunctive deductive databases
• Strong and uniform equivalence of nonmonotonic theories -- an algebraic approach
• Interpolation methods for Dunn logics and their extensions
• Fuzzy logic programming via multilattices
• Facts, arguments, annotations and reasoning
• Gentzen-type methods for bilattice negation
• The structure of interlaced bilattices
• \(q\)-bilattices
• Belief functions on distributive lattices
• Lattice logic, bilattice logic and paraconsistent quantum logic: a unified framework based on monosequent systems
• A note on the structure of bilattices

This page was built for publication: Bilattices and the semantics of logic programming

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