scientific article; zbMATH DE number 1735917
From MaRDI portal
Publication:4329280
zbMATH Open0994.03021MaRDI QIDQ4329280FDOQ4329280
Authors: Ofer Arieli, Arnon Avron
Publication date: 8 October 2002
Title of this publication is not available (Why is that?)
Recommendations
paraconsistent logicsreasoning with uncertaintybilattice-valued logicsdegrees of knowledgepreferences among models
Reasoning under uncertainty in the context of artificial intelligence (68T37) Paraconsistent logics (03B53) Logic in artificial intelligence (68T27) Logical aspects of lattices and related structures (03G10)
Cited In (20)
- Bilattices for deductions in multi-valued logic
- Bilattices, intuitionism and truth-knowledge duality: concepts and foundations
- Some useful 16-valued logics: How a computer network should think
- Preference Modeling by Rectangular Bilattices
- On the Notions of Residuated-Based Coherence and Bilattice-Based Consistence
- Four-valued paradefinite logics
- Bilattice public announcement logic
- Title not available (Why is that?)
- Bipolarity in bilattice logics
- Introduction: Non-classical Logics—Between Semantics and Proof Theory (In Relation to Arnon Avron’s Work)
- The value of the four values
- The strict/tolerant idea and bilattices
- Recent Advances in Constraints
- Title not available (Why is that?)
- Completeness and cut-elimination theorems for trilattice logics
- Bilattice logics and demi-negation
- Reasoning with different levels of uncertainty
- Biconsequence relations: A four-valued formalism of reasoning with inconsistency and incompleteness
- Evidential bilattice logic and lexical inference
- The \(B_{4}\)-valued propositional Belnap-Dunn logic
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)