On varieties of MV-algebras with internal states

DOI10.1016/j.ijar.2010.01.017zbMath1213.06006OpenAlexW1985468179MaRDI QIDQ990982

Anatolij Dvurečenskij, Ada Lettieri, Antonio Di Nola

Publication date: 2 September 2010

Published in: International Journal of Approximate Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.ijar.2010.01.017

zbMATH Keywords

de Finetti coherenceMV-algebraic statestate-morphism MV-algebras

Mathematics Subject Classification ID

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

Related Items

Stone Duality Type Theorems for MV-Algebras with Internal State ⋮ MV-pairs and state operators ⋮ Relationships between generalized Bosbach states and \(L\)-filters on residuated lattices ⋮ How Do $$\ell $$-Groups and Po-Groups Appear in Algebraic and Quantum Structures? ⋮ Subdirectly irreducible state-morphism BL-algebras ⋮ Generalized Bosbach and Riečan states based on relative negations in residuated lattices ⋮ State operators on generalizations of fuzzy structures ⋮ Equational characterization for two-valued states in orthomodular quantum systems ⋮ States and internal states on semihoops ⋮ SOME CLASSES OF STATE IDEALS IN STATE MV -ALGEBRAS ⋮ State morphism MV-algebras ⋮ Logical approach for two-valued states on quantum systems ⋮ STONE DUALITY FOR R0-ALGEBRAS WITH INTERNAL STATES ⋮ ON THE LOOMIS–SIKORSKI THEOREM FOR MV-ALGEBRAS WITH INTERNAL STATE ⋮ Algebraic study to generalized Bosbach states on residuated lattices ⋮ New types of generalized Bosbach states on non-commutative residuated lattices ⋮ States on finite monoidal t-norm based algebras ⋮ Loomis-Sikorski theorem and Stone duality for effect algebras with internal state ⋮ Involutive filters of pseudo-hoops ⋮ Hybrid generalized Bosbach and Rie c̆ an states on non-commutative residuated lattices ⋮ On the relationships between hybrid generalized Bosbach states and \(L\)-filters in non-commutative residuated lattices ⋮ On residuated lattices with left and right internal state ⋮ 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
• Bosbach states on fuzzy structures
• Every state on semisimple MV-algebra is integral
• MV-algebras with internal states and probabilistic fuzzy logics
• State-morphism MV-algebras
• Coproduct MV-algebras, nonstandard reals, and Riesz spaces
• Metamathematics of fuzzy logic
• Averaging the truth-value in Łukasiewicz logic
• Equational characterization of all varieties of MV-algebras
• De Finetti theorem and Borel states in \([0, 1\)-valued algebraic logic]
• On some classes of state-morphism MV-algebras