On the Logical Formalization of Possibilistic Counterparts of States over n-valued Lukasiewicz Events

DOI10.1093/LOGCOM/EXP012zbMath1244.03084OpenAlexW2170949654MaRDI 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

zbMATH Keywords

MV-algebraKripke modelsSugeno integralŁukasiewicz logicmany-valued modal logics\(n\)-valued eventpossibilistic state

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Fuzzy measure theory (28E10) MV-algebras (06D35) Many-valued logic (03B50) Quantum logic (03G12)

Related Items (14)

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 ⋮ Generalized possibilistic logic: foundations and applications to qualitative reasoning about uncertainty ⋮ On Possibilistic Modal Logics Defined Over MTL-Chains ⋮ Extending possibilistic logic over Gödel logic ⋮ Logics for belief functions on MV-algebras ⋮ Introduction ⋮ Editorial: Weighted logics for artificial intelligence -- an introductory discussion ⋮ Towards a probability theory for product logic: states, integral representation and reasoning ⋮ Fuzzy intensional semantics ⋮ Plausible reasoning and graded information: a unified approach ⋮ Fuzzy sets and formal logics ⋮ Exploring Extensions of Possibilistic Logic over Gödel Logic

This page was built for publication: On the Logical Formalization of Possibilistic Counterparts of States over n-valued Lukasiewicz Events