Models for Many-Valued Probabilistic Reasoning

DOI10.1093/logcom/exp013zbMath1237.06005OpenAlexW2110160467MaRDI QIDQ3006597

Tommaso Flaminio, Franco Montagna

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/exp013

zbMATH Keywords

stateMV-algebraPSPACEprobabilistic Kripke modelsSMV-algebra

Mathematics Subject Classification ID

MV-algebras (06D35) Many-valued logic (03B50) Quantum logic (03G12)

Related Items

On the Complexity of Non-reversible Betting Games on Many-Valued Events, Franco Montagna's work on provability logic and many-valued logic, Obituary: Franco Montagna (1948--2015), Introduction, On states and state operators on certain basic algebras, Non-reversible betting games on fuzzy events: complexity and algebra, Fuzzy sets and formal logics, The coherence of Łukasiewicz assessments is NP-complete, A Note on the Convex Structure of Uncertainty Measures on MV-algebras, Belief Functions on MV-Algebras of Fuzzy Sets: An Overview, Coherence in the aggregate: a betting method for belief functions on many-valued events