States in Łukasiewicz logic correspond to probabilities of rational polyhedra (Q448927): Difference between revisions

From MaRDI portal
Set OpenAlex properties.
Normalize DOI.
 
(2 intermediate revisions by 2 users not shown)
Property / DOI
 
Property / DOI: 10.1016/j.ijar.2011.10.007 / rank
Normal rank
 
Property / cites work
 
Property / cites work: Extensions of Tight Set Functions with Applications in Topological Measure Theory / rank
 
Normal rank
Property / cites work
 
Property / cites work: The coherence of Łukasiewicz assessments is NP-complete / rank
 
Normal rank
Property / cites work
 
Property / cites work: Algebraic foundations of many-valued reasoning / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5687941 / rank
 
Normal rank
Property / cites work
 
Property / cites work: MV-algebras with internal states and probabilistic fuzzy logics / rank
 
Normal rank
Property / cites work
 
Property / cites work: Continuous Lattices and Domains / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5726943 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Measure extension theorems for \(T_{0}\)-spaces / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3226265 / rank
 
Normal rank
Property / cites work
 
Property / cites work: On the generation of tight measures / rank
 
Normal rank
Property / cites work
 
Property / cites work: Triangular norms / rank
 
Normal rank
Property / cites work
 
Property / cites work: Every state on semisimple MV-algebra is integral / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3584006 / rank
 
Normal rank
Property / cites work
 
Property / cites work: A theorem about infinite-valued sentential logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: Averaging the truth-value in Łukasiewicz logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: Bookmaking over infinite-valued events / rank
 
Normal rank
Property / cites work
 
Property / cites work: The Haar theorem for lattice-ordered abelian groups with order-unit / rank
 
Normal rank
Property / cites work
 
Property / cites work: Advanced Łukasiewicz calculus and MV-algebras / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5692484 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Invariant Measures in Free MV-Algebras / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3755692 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5667036 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Topology and measure / rank
 
Normal rank
Property / DOI
 
Property / DOI: 10.1016/J.IJAR.2011.10.007 / rank
 
Normal rank

Latest revision as of 17:54, 9 December 2024

scientific article
Language Label Description Also known as
English
States in Łukasiewicz logic correspond to probabilities of rational polyhedra
scientific article

    Statements

    States in Łukasiewicz logic correspond to probabilities of rational polyhedra (English)
    0 references
    0 references
    11 September 2012
    0 references
    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)]. In 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.
    0 references
    Łukasiewicz logic
    0 references
    McNaughton functions
    0 references
    many-valued probability
    0 references
    rational polyhedron
    0 references

    Identifiers