An elementary belief function logic
From MaRDI portal
Publication:6080579
DOI10.1080/11663081.2023.2244366arXiv2303.13168OpenAlexW4386140379MaRDI QIDQ6080579
Dubois, Didier, Henri Prade, Lluís Godo
Publication date: 30 October 2023
Published in: Journal of Applied Non-Classical Logics (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/2303.13168
Related Items (1)
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
- Advanced Łukasiewicz calculus and MV-algebras
- A logic for reasoning about the probability of fuzzy events
- Towards a logical belief function theory
- Reasoning with belief functions: An analysis of compatibility
- A logic-based analysis of Dempster-Shafer theory
- Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies
- Fuzzy sets as a basis for a theory of possibility
- Metamathematics of fuzzy logic
- Generalized possibilistic logic: foundations and applications to qualitative reasoning about uncertainty
- Algebraic foundations of many-valued reasoning
- Possibilistic vs. relational semantics for logics of incomplete information
- A simple logic for reasoning about incomplete knowledge
- Strong non-standard completeness for fuzzy logics
- Fusion of symbolic knowledge and uncertain information in robotics
- Modal Logics of Uncertainty with Two-Layer Syntax: A General Completeness Theorem
- A QUALITATIVE BELIEF LOGIC
- Algebraic Analysis of Many Valued Logics
- Fragments of Many-Valued Statement Calculi
- A New Proof of the Completeness of the Lukasiewicz Axioms
- A Simple Modal Logic for Reasoning about Revealed Beliefs
- Axiomatization of qualitative belief structure
- On modal logic interpretation of Dempster–Shafer theory of evidence
- On the relation between possibilistic logic and modal logics of belief and knowledge
- EVIDENCE THEORY BASED ON GENERAL CONSEQUENCE RELATIONS
- Notes on Strong Completeness in Łukasiewicz, Product and BL Logics and in Their First-Order Extensions
- Upper and Lower Probabilities Induced by a Multivalued Mapping
This page was built for publication: An elementary belief function logic
