States in Łukasiewicz logic correspond to probabilities of rational polyhedra
A state on an MV-algebra can be seen as a probability of many-valued events (described by formulas of Łukasiewicz logic). The free MV-algebra over \(n\) generators is an algebra of \([0,1]\)-valued functions, called McNaughton functions. States on the free MV-algebra over \(n\) generators coincide with integrals of the McNaughton functions with \(n\) variables (this result applies to the more general class of semisimple MV-algebras; see [the author, Fuzzy Sets Syst. 157, No. 20, 2771--2782 (2006; Zbl 1107.06007); \textit{G. Panti}, Commun. Algebra 36, No. 8, 2849--2861 (2008; Zbl 1154.06008)].NEWLINENEWLINEIn this paper this result is strengthened, and it is shown that states over free MV-algebras over \(n\) generators coincide with measures of rational polyhedra in \([0,1]^n\). Indeed, a state of a McNaughton function is completely determined by the measure of its one-set. The proof is new and elementary and does not rely on the previous results of integral representation: this makes the paper both deep in its results and pleasant (and self-contained) to read.
- 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
- 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
- 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?)
- Invariant Measures in Free MV-Algebras
- Is there a probability theory of many-valued events?
- Measure extension theorems for \(T_{0}\)-spaces
- MV-algebras with internal states and probabilistic fuzzy logics
- On the generation of tight measures
- The coherence of Łukasiewicz assessments is NP-complete
- The Haar theorem for lattice-ordered abelian groups with order-unit
- Topology and measure
- Triangular norms
- Convex MV-algebras: many-valued logics meet decision theory
- Towards a probability theory for product logic: states, integral representation and reasoning
- Averaging the truth-value in Łukasiewicz logic
- Non-standard probability, coherence and conditional probability on many-valued events
- Simulation for lattice-valued doubly labeled transition systems
- On the Logical Formalization of Possibilistic Counterparts of States over n-valued Lukasiewicz Events
- Representing upper probability measures over rational Łukasiewicz logic
- Rational measure of rational simplexes
- THREE CHARACTERIZATIONS OF STRICT COHERENCE ON INFINITE-VALUED EVENTS
- Towards a probability theory on nuanced MV-algebras
- A new class of probabilities on Łukasiewicz-Moisil algebras
- Advanced Łukasiewicz calculus and MV-algebras
- Bernoulli automorphisms of finitely generated free MV-algebras
- States on polyadic 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)
