Probability measures in the logic of nilpotent minimum
Nilpotent minimum logic (NML) was introduced in 2001 by Esteva and Godo as a formalization of the properties of nilpotent minimum t-norms. NML is obtained from MTL by adding the involutivity axiom for negation together with a special axiom taking care of the nilpotent minimum condition. NM-algebras are the algebras of NML. The present paper is devoted to the axiomatization of the notion of a ``state in the \(n\)-generator-free NM-algebra \(F(n)\) as a (de Finetti) coherent assessment on the events described by NML-formulas. It is well known that \(F(n)\) is an algebra of \((0,1)\)-valued functions defined on the unit real interval \([0,1]^n\). The following counterpart of the MV-algebraic Kroupa-Panti theorem is proved in the paper under review: The integral induces a one-one correspondence between states of \(F(n)\) and Soret probability measures on \([0,1]^n\). For background on the Kroupa-Panti theorem and de Finetti's coherent assessments of continuous-valued events see the present reviewer's monograph [Advanced Łukasiewicz calculus and MV-algebras. Trends in Logic -- Studia Logica Library 35. Berlin: Springer (2011; Zbl 1235.03002)].
- scientific article; zbMATH DE number 2068681
- De Finetti theorem and Borel states in \([0, 1]\)-valued algebraic logic
- Imprecise probabilities, bets and functional analytic methods in Łukasiewicz logic
- First-order nilpotent minimum logics: first steps
- Interpretation of De Finetti coherence criterion in Łukasiewicz logic
- De Finetti's no-Dutch-book criterion for Gödel logic
- On equivalent forms of fuzzy logic systems NM and IMTL
- States on EMV-algebras
- MV-algebras with internal states and probabilistic fuzzy logics
- Measure-free conditioning and extensions of additive measures on finite MV-algebras
- A characterization of truth-functions in the nilpotent minimum logic
- A note on functions associated with Gödel formulas
- Averaging the truth-value in Łukasiewicz logic
- Computing coproducts of finitely presented Gödel algebras
- De Finetti theorem and Borel states in \([0, 1]\)-valued algebraic logic
- De Finetti's no-Dutch-book criterion for Gödel logic
- Every state on semisimple MV-algebra is integral
- Free nilpotent minimum algebras
- Invariant Measures in Free MV-Algebras
- Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
- Normal forms and free algebras for some extensions of MTL
- On the structure of rotation-invariant semigroups
- Spectral Duality for Finitely Generated Nilpotent Minimum Algebras, with Applications
- Symbolic and Quantitative Approaches to Reasoning with Uncertainty
- On some questions concerning the axiomatisation of WNM-algebras and their subvarieties
- Free algebras, states and duality for the propositional \(\text{Gödel}_{\Delta}\) and drastic product logics
- Towards a probability theory for product logic: states, integral representation and reasoning
- Probability over Płonka sums of Boolean algebras: states, metrics and topology
- A temporal semantics for nilpotent minimum logic
- First-order nilpotent minimum logics: first steps
- Generalized Bosbach and Riečan states on nucleus-based-Glivenko residuated lattices
- scientific article; zbMATH DE number 2068681 (Why is no real title available?)
- Finitely additive probability measures on classical propositional formulas definable by Gödel's t-norm and product t-norm
- Nuclei and conuclei on residuated lattices
This page was built for publication: Probability measures in the logic of nilpotent minimum
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q965904)
