Logics for belief functions on MV-algebras
From MaRDI portal
Publication:1951299
DOI10.1016/j.ijar.2012.08.006zbMath1264.03049MaRDI QIDQ1951299
Tommaso Flaminio, Enrico Marchioni, Lluís Godo
Publication date: 4 June 2013
Published in: International Journal of Approximate Reasoning (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.ijar.2012.08.006
03B52: Fuzzy logic; logic of vagueness
03B45: Modal logic (including the logic of norms)
03B42: Logics of knowledge and belief (including belief change)
06D35: MV-algebras
03B50: Many-valued logic
Related Items
Belief Functions on MV-Algebras of Fuzzy Sets: An Overview, Introduction, Editorial: Weighted logics for artificial intelligence -- an introductory discussion, An intuitionistic view of the Dempster-Shafer belief structure, Towards a probability theory for product logic: states, integral representation and reasoning, Fuzzy sets and formal logics, Coherence in the aggregate: a betting method for belief functions on many-valued events, Simulation for lattice-valued doubly labeled transition systems, A Survey of Contributions to Fuzzy Logic and Its Applications to Artificial Intelligence at the IIIA
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- On fuzzy modal logics \(S5(\mathcal C)\)
- Advanced Łukasiewicz calculus and MV-algebras
- Every state on semisimple MV-algebra is integral
- Fuzzy subsethood and belief functions of fuzzy events
- A logic for reasoning about the probability of fuzzy events
- Evidence measures based on fuzzy information
- The degree of belief in a fuzzy event
- Computing generalized belief functions for continuous fuzzy sets
- Metamathematics of fuzzy logic
- Model theory
- Modeling vague beliefs using fuzzy-valued belief structures.
- Algebraic foundations of many-valued reasoning
- Reasoning with imprecise belief structures
- Averaging the truth-value in Łukasiewicz logic
- Extending maps to profinite completions in finitely generated quasivarieties
- Extension of belief functions to infinite-valued events
- Representation and extension of states on MV-algebras
- On the Logical Formalization of Possibilistic Counterparts of States over n-valued Lukasiewicz Events
- Belief Functions on MV-Algebras of Fuzzy Events Based on Fuzzy Evidence
- On the Minimum Many-Valued Modal Logic over a Finite Residuated Lattice
- Algebraic Analysis of Many Valued Logics
- Generalization of belief and plausibility functions to fuzzy sets based on the sugeno integral
- Upper and Lower Probabilities Induced by a Multivalued Mapping