Monadic MV-algebras. I: A study of subvarieties

DOI10.1007/S00012-014-0266-3MaRDI QIDQ2449451zbMATH OpenOpenAlexFDO

Authors Patricio Díaz Varela, Cecilia Rossana Cimadamore

Publication date 8 May 2014

Published in Algebra Universalis (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s00012-014-0266-3

zbMATH Keywords

equational basesfunctional representationmonadic MV-algebrassubvarieties

Mathematics Subject Classification ID

Other algebras related to logic (03G25) MV-algebras (06D35) Lattices of varieties (08B15)

Recommendations

• Monadic MV-algebras. II: Monadic implicational subreducts
• On the lattice of the subvarieties of monadic \(\mathrm{MV}(C)\)-algebras
• On monadic MV-algebras
• scientific article; zbMATH DE number 1894662
• Subvarieties of the variety of all MV-algebras properties

Cites work

• A New Proof of the Completeness of the Lukasiewicz Axioms
• Algebraic Analysis of Many Valued Logics
• Algebraic foundations of many-valued reasoning
• Equational characterization of all varieties of MV-algebras
• Interpretation of AF C^*-algebras in Łukasiewicz sentential calculus
• Monadic MV-algebras are equivalent to monadic \(\ell \)-groups with strong unit
• Monadic MV-algebras. II: Monadic implicational subreducts
• On monadic MV-algebras
• Representations of monadic MV-algebras
• Super-Łukasiewicz propositional logics

Cited in

(13)

• Monadic BL-algebras: the equivalent algebraic semantics of Hájek's monadic fuzzy logic
• Similarity monadic basic logic
• Topological spaces of monadic MV-algebras
• Completeness for monadic fuzzy logics via functional algebras
• Quantifiers on L-algebras
• Characterization of monadic BL-algebras by state operators
• Monadic MV-algebras. II: Monadic implicational subreducts
• Subvarieties of the variety of all MV-algebras properties
• scientific article; zbMATH DE number 1894662 (Why is no real title available?)
• The lattice of subvarietes of monadic n-valued Łukasiewicz-Moisil algebras
• On the lattice of the subvarieties of monadic \(\mathrm{MV}(C)\)-algebras
• Strong standard completeness theorems for S5-modal Łukasiewicz logics
• Operators on Pavelka's algebras induced by fuzzy relations

This page was built for publication: Monadic MV-algebras. I: A study of subvarieties

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2449451)