Abstract
In this paper, we study the class of all monadic implicational subreducts, that is, the \({\{\rightarrow, \forall,1\}}\)-subreducts of the class of monadic MV-algebras. We prove that this class is an equational class, which we denote by \({\mathcal{ML}}\), and we give an equational basis for this variety. An algebra in \({\mathcal{ML}}\) is called a monadic Łukasiewicz implication algebra. We characterize the subdirectly irreducible members of \({\mathcal{ML}}\) and the congruences of every monadic Łukasiewicz implication algebra by monadic filters. We prove that \({\mathcal{ML}}\) is generated by its finite members. Finally, we completely describe the lattice of subvarieties, and we give an equational basis for each proper subvariety.
Similar content being viewed by others
References
Belluce L.P., Grigolia R., Lettieri A.: Representations of monadic MV-algebras. Studia Logica 81, 123–144 (2005)
Berman J., Blok W.J.: Free Łukasiewicz and hoop residuation algebras. Studia Logica 77, 153–180 (2004)
Chang C.C.: Algebraic analysis of many valued logics. Trans. Amer. Math. Soc. 88, 467–490 (1958)
Chang C.C.: A new proof of the completeness of the Łukasiewicz axioms. Trans. Amer. Math. Soc. 93, 74–80 (1959)
Cignoli, R., D’Ottaviano, I., Mundici, D.: Algebraic foundations of many-valued reasoning, Trends in Logic—Studia Logica Library, vol. 7. Kluwer, Dordrecht (2000)
Cimadamore, C.R.: Subvariedades de MV-álgebras monádicas y de sus subreductos implicativos monádicos. PhD thesis, Universidad Nacional del Sur (2011)
Cimadamore, C.R., Díaz Varela, J.P.: Monadic MV-algebras are equivalent to monadic ℓ-groups with strong unit. Studia Logica, Special Issue Algebras Related to Non-classical Logics 98, 175–201 (2011)
Cimadamore, C.R., Díaz Varela, J.P.: Monadic MV-algebras I: a study of subvarieties. Algebra Universalis 71, 71–100 (2014)
Di Nola, A., Grigolia, R.: On monadic MV-algebras. Ann. Pure Appl. Logic 128, 125–139 (2004)
Ferreirim, I.M.A.: On varieties and quasivarieties of hoops and their reducts. PhD thesis, Graduate College of the University of Illinois (1992)
Font J., Rodríguez A., Torrens A.: Wajsberg algebras. Stochastica 8, 5–31 (1984)
Komori Y.: The separation theorem of the \({\aleph_{0}}\) -valued Łukasiewicz propositional logic. Rep. Fac. Sci. Shizuoka Univ. 12, 1–5 (1978)
Komori Y.: Super-Łukasiewicz implicational logics. Nagoya Math. J. 72, 127–133 (1978)
Mundici D.: Interpretation of AF C*-algebras in Łukasiewicz sentential calculus. J. Funct. Anal. 65, 15–63 (1986)
Rutledge, J.D.: A preliminary investigation of the infinitely many-valued predicate calculus. PhD thesis, Cornell University (1959)
Author information
Authors and Affiliations
Corresponding author
Additional information
Presented by C. Tsinakis.
The support of CONICET is gratefully acknowledged.
Rights and permissions
About this article
Cite this article
Cimadamore, C.R., Díaz Varela, J.P. Monadic MV-algebras II: Monadic implicational subreducts. Algebra Univers. 71, 201–219 (2014). https://doi.org/10.1007/s00012-014-0277-0
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00012-014-0277-0