Logical Foundations of Evidential Reasoning with Contradictory Information

DOI10.1007/978-3-319-29300-4_12zbMath1439.03061OpenAlexW2463496245MaRDI QIDQ3305428

Chunlai Zhou

Publication date: 7 August 2020

Published in: Outstanding Contributions to Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-29300-4_12

zbMATH Keywords

Dempster-Shafer theoryfirst degree entailmentepistemic logicDe Morgan latticesBelnap-Dunn four-valued logic

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Many-valued logic (03B50) Paraconsistent logics (03B53)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Priestley duality for bilattices
• Belief functions on distributive lattices
• Linear logic
• A logic for reasoning with inconsistency
• Negation in the context of gaggle theory
• Distributive lattices with a dual homomorphic operation
• The degree of belief in a fuzzy event
• A Kripke-style semantics for R-mingle using a binary accessibility relation
• The logic of paradox
• The value of the four values
• The transferable belief model
• Intuitive semantics for first-degree entailments and `coupled trees'
• A logic for reasoning about probabilities
• Partiality and its dual
• A duality theory for bilattices
• Contradictory information: too much of a good thing
• A semantics for reasoning consistently in the presence of inconsistency
• Generalizing the Dempster-Schafer theory to fuzzy sets
• An introduction to bipolar representations of information and preference
• Bipolarity in bilattice logics
• Belief functions on lattices
• Bilattices and the semantics of logic programming
• Kripke Semantics for Modal Bilattice Logic
• The Semantics of First Degree Entailment
• Upper and Lower Probabilities Induced by a Multivalued Mapping
• Representation of Distributive Lattices by means of ordered Stone Spaces
• [https://portal.mardi4nfdi.de/wiki/Publication:5731810 On the foundations of combinatorial theory I. Theory of M�bius Functions]
• Logic and structure