States in Łukasiewicz logic correspond to probabilities of rational polyhedra

DOI10.1016/j.ijar.2011.10.007zbMath1260.03050MaRDI QIDQ448927

Tomáš Kroupa

Publication date: 11 September 2012

Published in: International Journal of Approximate Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.ijar.2011.10.007

zbMATH Keywords

Łukasiewicz logic; rational polyhedron; many-valued probability; McNaughton functions

Mathematics Subject Classification ID

06D35: MV-algebras

03B50: Many-valued logic

Related Items

THREE CHARACTERIZATIONS OF STRICT COHERENCE ON INFINITE-VALUED EVENTS, Non-standard probability, coherence and conditional probability on many-valued events, Simulation for lattice-valued doubly labeled transition systems

Cites Work

• Advanced Łukasiewicz calculus and MV-algebras
• Every state on semisimple MV-algebra is integral
• Bookmaking over infinite-valued events
• The Haar theorem for lattice-ordered abelian groups with order-unit
• MV-algebras with internal states and probabilistic fuzzy logics
• The coherence of Łukasiewicz assessments is NP-complete
• Triangular norms
• Measure extension theorems for \(T_{0}\)-spaces
• Algebraic foundations of many-valued reasoning
• Averaging the truth-value in Łukasiewicz logic
• Topology and measure
• Invariant Measures in Free MV-Algebras
• Extensions of Tight Set Functions with Applications in Topological Measure Theory
• Continuous Lattices and Domains
• On the generation of tight measures
• A theorem about infinite-valued sentential logic
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item