Reasoning with belief functions over Belnap-Dunn logic
From MaRDI portal
Publication:6560993
DOI10.1016/J.APAL.2023.103338MaRDI QIDQ6560993FDOQ6560993
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)
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
- Fuzzy sets as a basis for a theory of possibility
- Title not available (Why is that?)
- Upper and Lower Probabilities Induced by a Multivalued Mapping
- Title not available (Why is that?)
- Metamathematics of fuzzy logic
- On the theory of inconsistent formal systems
- Title not available (Why is that?)
- Constructible falsity
- Title not available (Why is that?)
- Title not available (Why is that?)
- On the Dempster-Shafer framework and new combination rules
- Intuitive semantics for first-degree entailments and `coupled trees'
- Handbook of mathematical fuzzy logic. Volume 1
- A logic for reasoning about probabilities
- Nothing but the truth
- Contradictory information: too much of a good thing
- Constructive negation, implication, and co-implication
- Title not available (Why is that?)
- Generalizing functional completeness in Belnap-Dunn logic
- Constructive negations and paraconsistency
- Title not available (Why is that?)
- Notes on \(\eta\)-lattices and constructive logic with strong negation
- On Ignorance and Contradiction Considered as Truth-Values
- Complexity of fuzzy probability logics
- Monotone functions on finite lattices: An ordinal approach to capacities, belief and necessity functions
- Belief functions on lattices
- Belief functions on distributive lattices
- How a Computer Should Think
- 40 years of FDE: an introductory overview
- An epistemic probabilistic logic with conditional probabilities
- Belief based on inconsistent information
- Modal logics of uncertainty with two-layer syntax: a general completeness theorem
- Reasoning about uncertainty
- Toward a Dempster-Shafer theory of concepts
- Constraint tableaux for two-dimensional fuzzy logics
- Probabilities with gaps and gluts
- Paraconsistent probability theory and paraconsistent Bayesianism
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)