On the Logical Formalization of Possibilistic Counterparts of States over n-valued Lukasiewicz Events
From MaRDI portal
Publication:3006596
DOI10.1093/logcom/exp012zbMath1244.03084MaRDI QIDQ3006596
Enrico Marchioni, Lluís Godo, Tommaso Flaminio
Publication date: 20 June 2011
Published in: Journal of Logic and Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1093/logcom/exp012
MV-algebra; Kripke models; Sugeno integral; Łukasiewicz logic; many-valued modal logics; \(n\)-valued event; possibilistic state
03B45: Modal logic (including the logic of norms)
28E10: Fuzzy measure theory
06D35: MV-algebras
03B50: Many-valued logic
03G12: Quantum logic
Related Items
Fuzzy intensional semantics, Introduction, Editorial: Weighted logics for artificial intelligence -- an introductory discussion, Extending possibilistic logic over Gödel logic, Generalized possibilistic logic: foundations and applications to qualitative reasoning about uncertainty, Towards a probability theory for product logic: states, integral representation and reasoning, Plausible reasoning and graded information: a unified approach, Logics for belief functions on MV-algebras, Fuzzy sets and formal logics, Simplified Kripke semantics for K45-like Gödel modal logics and its axiomatic extensions, Geometrical aspects of possibility measures on finite domain MV-clans, Extension of belief functions to infinite-valued events, On Possibilistic Modal Logics Defined Over MTL-Chains, Exploring Extensions of Possibilistic Logic over Gödel Logic