State morphism MV-algebras

DOI10.1016/j.ijar.2011.07.003zbMath1251.06001OpenAlexW2088843700MaRDI QIDQ648387

Tomasz Kowalski, Anatolij Dvurečenskij, Franco Montagna

Publication date: 22 November 2011

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.07.003

zbMATH Keywords

subdirectly irreducible algebrastate MV-algebracover varietystate morphism MV-algebra

Mathematics Subject Classification ID

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

Related Items (11)

Franco Montagna's work on provability logic and many-valued logic ⋮ How Do $$\ell $$-Groups and Po-Groups Appear in Algebraic and Quantum Structures? ⋮ Obituary: Franco Montagna (1948--2015) ⋮ On states and state operators on certain basic algebras ⋮ Open problems from the 12th international conference on fuzzy set theory and its applications ⋮ The semiring-theoretic approach to MV-algebras: a survey ⋮ EQ-algebras with internal states ⋮ On residuated lattices with left and right internal state ⋮ On EMV-algebras ⋮ State BCK-algebras and state-morphism BCK-algebras. ⋮ Non-standard probability, coherence and conditional probability on many-valued events

Cites Work

• Unnamed Item
• Unnamed Item
• Subdirectly irreducible state-morphism BL-algebras
• Every state on semisimple MV-algebra is integral
• Bookmaking over infinite-valued events
• MV-algebras with internal states and probabilistic fuzzy logics
• On varieties of MV-algebras with internal states
• State-morphism MV-algebras
• Interpretation of AF \(C^*\)-algebras in Łukasiewicz sentential calculus
• Representation and reticulation by quotients of MV-algebras
• Metamathematics of fuzzy logic
• Free algebras in varieties of BL-algebras with a Boolean retract.
• Algebraic foundations of many-valued reasoning
• Averaging the truth-value in Łukasiewicz logic
• De Finetti theorem and Borel states in \([0, 1\)-valued algebraic logic]
• Representation and extension of states on MV-algebras
• A New Proof of the Completeness of the Lukasiewicz Axioms
• Invariant Measures in Free MV-Algebras
• Algebraizable logics

This page was built for publication: State morphism MV-algebras