States in Łukasiewicz logic correspond to probabilities of rational polyhedra

DOI10.1016/J.IJAR.2011.10.007zbMATH Open1260.03050OpenAlexW2026981903MaRDI QIDQ448927FDOQ448927

Authors: 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

Recommendations

• Representing upper probability measures over rational Łukasiewicz logic
• Faithful and Invariant Conditional Probability in Łukasiewicz Logic
• Towards a probability theory for product logic: states, integral representation and reasoning
• Theory of Borel probability truth degrees of propositions in Łukasiewicz propositional logics and a limit theorem
• A logic for reasoning about the probability of fuzzy events

zbMATH Keywords

rational polyhedronmany-valued probabilityMcNaughton functionsŁukasiewicz logic

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (14)

• Simulation for lattice-valued doubly labeled transition systems
• States on polyadic MV-algebras
• On the Logical Formalization of Possibilistic Counterparts of States over n-valued Lukasiewicz Events
• Convex MV-algebras: many-valued logics meet decision theory
• Rational measure of rational simplexes
• Bernoulli automorphisms of finitely generated free MV-algebras
• Averaging the truth-value in Łukasiewicz logic
• Advanced Łukasiewicz calculus and MV-algebras
• Representing upper probability measures over rational Łukasiewicz logic
• Towards a probability theory for product logic: states, integral representation and reasoning
• A new class of probabilities on Łukasiewicz-Moisil algebras
• THREE CHARACTERIZATIONS OF STRICT COHERENCE ON INFINITE-VALUED EVENTS
• Non-standard probability, coherence and conditional probability on many-valued events
• Towards a probability theory on nuanced MV-algebras

This page was built for publication: States in Łukasiewicz logic correspond to probabilities of rational polyhedra

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q448927)