scientific article; zbMATH DE number 1735917

MaRDI QIDQ4329280zbMATH OpenFDO

Authors Ofer Arieli, Arnon Avron

Publication date 8 October 2002

zbMATH Keywords

bilattice-valued logicsdegrees of knowledgeparaconsistent logicspreferences among modelsreasoning with uncertainty

Mathematics Subject Classification ID

Paraconsistent logics (03B53) Logical aspects of lattices and related structures (03G10) Logic in artificial intelligence (68T27) Reasoning under uncertainty in the context of artificial intelligence (68T37)

Recommendations

• Reasoning with logical bilattices
• Bipolarity in bilattice logics
• Bilattices, intuitionism and truth-knowledge duality: concepts and foundations
• Expanding Belnap: dualities for a new class of default bilattices
• Bilattice public announcement logic

Cited in

(21)

• The value of the four values
• Four-valued paradefinite logics
• Evidential bilattice logic and lexical inference
• Bilattices for deductions in multi-valued logic
• The \(B_{4}\)-valued propositional Belnap-Dunn logic
• On the Notions of Residuated-Based Coherence and Bilattice-Based Consistence
• Bilattice logics and demi-negation
• Bipolarity in bilattice logics
• Preference Modeling by Rectangular Bilattices
• Reasoning with different levels of uncertainty
• scientific article; zbMATH DE number 6863636 (Why is no real title available?)
• Bilattice public announcement logic
• Introduction: Non-classical Logics—Between Semantics and Proof Theory (In Relation to Arnon Avron’s Work)
• The strict/tolerant idea and bilattices
• scientific article; zbMATH DE number 7455717 (Why is no real title available?)
• Bilattices, intuitionism and truth-knowledge duality: concepts and foundations
• Recent Advances in Constraints
• Biconsequence relations: A four-valued formalism of reasoning with inconsistency and incompleteness
• Completeness and cut-elimination theorems for trilattice logics
• One heresy and one orthodoxy: on dialetheism, dimathematism, and the non-normativity of logic
• Some useful 16-valued logics: How a computer network should think

This page was built for publication:

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