Towards a probability theory for product logic: states, integral representation and reasoning
From MaRDI portal
Publication:1726388
Abstract: The aim of this paper is to extend probability theory from the classical to the product t-norm fuzzy logic setting. More precisely, we axiomatize a generalized notion of finitely additive probability for product logic formulas, called state, and show that every state is the Lebesgue integral with respect to a unique regular Borel probability measure. Furthermore, the relation between states and measures is shown to be one-one. In addition, we study geometrical properties of the convex set of states and show that extremal states, i.e., the extremal points of the state space, are the same as the truth-value assignments of the logic. Finally, we axiomatize a two-tiered modal logic for probabilistic reasoning on product logic events and prove soundness and completeness with respect to probabilistic spaces, where the algebra is a free product algebra and the measure is a state in the above sense.
Recommendations
- A logic for reasoning about the probability of fuzzy events
- Corrigendum to: ``Towards a probability theory for product logic: states, integral representation and reasoning
- States in Łukasiewicz logic correspond to probabilities of rational polyhedra
- Non-commutative product logic and probability of fuzzy events
- scientific article; zbMATH DE number 988760
Cites work
- A categorical equivalence for product algebras
- A logic for reasoning about the probability of fuzzy events
- Advanced Łukasiewicz calculus and MV-algebras
- Averaging the truth-value in Łukasiewicz logic
- 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
- scientific article; zbMATH DE number 3946195 (Why is no real title available?)
- scientific article; zbMATH DE number 3751028 (Why is no real title available?)
- scientific article; zbMATH DE number 515978 (Why is no real title available?)
- scientific article; zbMATH DE number 578191 (Why is no real title available?)
- scientific article; zbMATH DE number 7034312 (Why is no real title available?)
- scientific article; zbMATH DE number 1857859 (Why is no real title available?)
- scientific article; zbMATH DE number 2107988 (Why is no real title available?)
- scientific article; zbMATH DE number 6139903 (Why is no real title available?)
- scientific article; zbMATH DE number 3204690 (Why is no real title available?)
- scientific article; zbMATH DE number 6276267 (Why is no real title available?)
- scientific article; zbMATH DE number 6276274 (Why is no real title available?)
- scientific article; zbMATH DE number 3337815 (Why is no real title available?)
- Invariant Measures in Free MV-Algebras
- Logics for belief functions on MV-algebras
- Metamathematics of fuzzy logic
- Notes on Strong Completeness in Łukasiewicz, Product and BL Logics and in Their First-Order Extensions
- On the Logical Formalization of Possibilistic Counterparts of States over n-valued Lukasiewicz Events
- Ordered Topological Spaces and the Representation of Distributive Lattices
- Probability measures in \(\text{Gödel}_\varDelta\) logic
- Probability measures in the logic of nilpotent minimum
- Semi-normal forms and functional representation of product fuzzy logic.
- The free \(n\)-generated BL-algebra
- Triangular norms
Cited in
(12)- Corrigendum to: ``Towards a probability theory for product logic: states, integral representation and reasoning
- Free algebras, states and duality for the propositional \(\text{Gödel}_{\Delta}\) and drastic product logics
- Rota's Fubini lectures: the first problem
- On standard completeness and finite model property for a probabilistic logic on Łukasiewicz events
- Probability over Płonka sums of Boolean algebras: states, metrics and topology
- Representations for logics and algebras related to revised drastic product t-norm
- Projectivity and unification in substructural logics of generalized rotations
- Non-commutative product logic and probability of fuzzy events
- Open Partitions and Probability Assignments in Gödel Logic
- States in Łukasiewicz logic correspond to probabilities of rational polyhedra
- A logic for reasoning about the probability of fuzzy events
- Product logic and probabilistic Ulam games
This page was built for publication: Towards a probability theory for product logic: states, integral representation and reasoning
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1726388)
