Reasoning with belief functions over Belnap-Dunn logic

DOI10.1016/J.APAL.2023.103338MaRDI QIDQ6560993zbMATH OpenFDO

Authors Marta Bílková, Sabine Frittella, Daniil Kozhemiachenko, Ondrej Majer, Sajad Nazari

Publication date 24 June 2024

Published in Annals of Pure and Applied Logic (Search for Journal in Brave)

zbMATH Keywords

belief functionsBelnap-Dunn logicparaconsistent logicsŁukasiewicz logictwo-layered modal logics

Mathematics Subject Classification ID

Probability and inductive logic (03B48) Logics of knowledge and belief (including belief change) (03B42) Fuzzy logic; logic of vagueness (03B52) Paraconsistent logics (03B53)

Cites work

• scientific article; zbMATH DE number 41270 (Why is no real title available?)
• scientific article; zbMATH DE number 3560492 (Why is no real title available?)
• scientific article; zbMATH DE number 590999 (Why is no real title available?)
• scientific article; zbMATH DE number 592370 (Why is no real title available?)
• scientific article; zbMATH DE number 596497 (Why is no real title available?)
• scientific article; zbMATH DE number 3271180 (Why is no real title available?)
• scientific article; zbMATH DE number 3060775 (Why is no real title available?)
• 40 years of FDE: an introductory overview
• A logic for reasoning about probabilities
• An epistemic probabilistic logic with conditional probabilities
• Belief based on inconsistent information
• Belief functions on distributive lattices
• Belief functions on lattices
• Complexity of fuzzy probability logics
• Constraint tableaux for two-dimensional fuzzy logics
• Constructible falsity
• Constructive negation, implication, and co-implication
• Constructive negations and paraconsistency
• Contradictory information: too much of a good thing
• Fuzzy sets as a basis for a theory of possibility
• Generalizing functional completeness in Belnap-Dunn logic
• Handbook of mathematical fuzzy logic. Volume 1
• How a Computer Should Think
• Intuitive semantics for first-degree entailments and `coupled trees'
• Metamathematics of fuzzy logic
• Modal logics of uncertainty with two-layer syntax: a general completeness theorem
• Monotone functions on finite lattices: An ordinal approach to capacities, belief and necessity functions
• Notes on \(\eta\)-lattices and constructive logic with strong negation
• Nothing but the truth
• On Ignorance and Contradiction Considered as Truth-Values
• On the Dempster-Shafer framework and new combination rules
• On the theory of inconsistent formal systems
• Paraconsistent probability theory and paraconsistent Bayesianism
• Probabilities with gaps and gluts
• Reasoning about uncertainty
• Toward a Dempster-Shafer theory of concepts
• Upper and Lower Probabilities Induced by a Multivalued Mapping

This page was built for publication: Reasoning with belief functions over Belnap-Dunn logic

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