On monadic MV-algebras

DOI10.1016/j.apal.2003.11.031zbMath1052.06010MaRDI QIDQ1877093

Antonio Di Nola, Revaz Grigolia

Publication date: 16 August 2004

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.apal.2003.11.031

zbMATH Keywords

MV-algebra; Łukasiewicz logic; monadic MV-algebra; monadic Boolean algebra; Chang algebra

Mathematics Subject Classification ID

08B05: Equational logic, Mal'tsev conditions

03G25: Other algebras related to logic

08B10: Congruence modularity, congruence distributivity

06D35: MV-algebras

Related Items

Representations of monadic MV-algebras, Monadic GMV-algebras, Monadic bounded commutative residuated \(\ell\)-monoids, Unnamed Item, On some classes of state-morphism MV-algebras

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Interpretation of AF \(C^*\)-algebras in Łukasiewicz sentential calculus
• Finitely generated free MV-algebras and their automorphism groups
• Algebraic Analysis of Many Valued Logics
• Finite Monadic Algebras
• Die nichtaxiomatisierbarkeit des unendlichwertigen Prädikatenkalküls von Łukasiewicz
• Polyadic MV-Algebras
• Theorie der polyadischenMV-Algebren endlicher Ordnung
• Further results on infinite valued predicate logic
• A weak completeness theorem for infinite valued first-order logic
• A theorem about infinite-valued sentential logic