States in Łukasiewicz logic correspond to probabilities of rational polyhedra

DOI10.1016/J.IJAR.2011.10.007MaRDI QIDQ448927zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

rational polyhedronmany-valued probabilityMcNaughton functionsŁukasiewicz logic

Mathematics Subject Classification ID

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

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

Cites work

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

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
• Advanced Łukasiewicz calculus and MV-algebras
• Averaging the truth-value in Łukasiewicz logic
• 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)