Abstract
Bounded commutative residuated ℓ-monoids are a generalization of algebras of propositional logics such as BL-algebras, i.e. algebraic counterparts of the basic fuzzy logic (and hence consequently MV-algebras, i.e. algebras of the Łukasiewicz infinite valued logic) and Heyting algebras, i.e. algebras of the intuitionistic logic. Monadic MV-algebras are an algebraic model of the predicate calculus of the Łukasiewicz infinite valued logic in which only a single individual variable occurs. We introduce and study monadic residuated ℓ-monoids as a generalization of monadic MV-algebras.
Similar content being viewed by others
References
Bahls, P., Cole, J., Galatos, N., Jipsen, P., Tsinakis, C.: Cancellative residuated lattices. Algebra Univers. 50, 83–106 (2003)
Belluce, L.P., Grigolia, R., Lettieri, A.: Representations of monadic MV-algebras. Stud. Log. 81, 123–144 (2005)
Bělohlávek, R.: Fuzzy Relational Systems. Foundations and Principles. Kluwer, New York (2002)
Bezhanisvili, G.: Varieties of monadic Heyting algebras I. Stud. Log. 61, 367–402 (1998)
Bezhanisvili, G.: Varieties of monadic Heyting algebras II. Stud. Log. 62, 21–48 (1999)
Bezhanisvili, G.: Varieties of monadic Heyting algebras III. Stud. Log. 64, 215–256 (2000)
Bezhanisvili, G., Harding, J.: Functional monadic Heyting algebras. Algebra Univers. 48, 1–10 (2002)
Blount, K., Tsinakis, C.: The structure of residuated lattices. Int. J. Algebra Comput. 13, 437–461 (2003)
Di Nola, A., Grigolia, R.: On monadic MV-algebras. Ann. Pure Appl. Logic 128, 125–139 (2004)
Dvurečenskij, A., Rachunek, J.: Bounded commutative residuated l-monoids with general comparability and states. Soft Comput. 10, 212–218 (2006)
Fisher Servi, G.: Axiomatizations for some intuitionistic modal logics. Rend. Semin. Mat. Univ. Polit. 42, 179–194 (1984)
Galatos, N., Jipsen, P., Kowalski, T., Ono, H.: Residuated Lattices: An Algebraic Glimpse at Substructual Logics, Elsevier Studies in Logic and Foundations. Elsevier, New York (2007)
Georgescu, G., Iorgulescu, A., Leustean, I.: Monadic and closure MV-algebras. Multi. Val. Logic. 3, 235–257 (1998)
Hájek, P.: Metamathematics of Fuzzy Logic. Kluwer, Dordrecht (1998)
Halmos, P.R.: Algebraic Logic. Chelsea, New York (1962)
Henkin, L., Monk, J.D., Tarski, A.: Cylindric Algebras, Part I. North-Holland, Amsterdam (1971)
Henkin, L., Monk, J.D., Tarski, A.: Cylindric Algebras, Part II. North-Holland, Amsterdam (1985)
Jipsen, P., Tsinakis, C.: A survey of residuated lattices. In: Martinez, J. (ed.) Ordered Algebraic Structures, pp. 19–56. Kluwer, Dordrecht (2002)
Kühr, J.: Pseudo BL-algebras and DRℓ-monoids. Math. Bohem. 128, 199–208 (2003)
Monteiro, A.: Normalidad de las álgebras de Heyting monádicas. Actas de las X Jornades de la UMA, pp. 50 – 51. Bahia Blanca (1957)
Monteiro, A., Varsavsky, O.: Algebras de Heyting monádicas. Actas de las X Jornades de la UMA, 52 – 62. Bahia Blanca (1957)
Neméti, I.: Algebraization of quantifier logics. Stud. Log. 50, 485–569 (1991)
Ono, H.: On Some Intuitionistic Modal Logics, vol. 13, pp. 687–722. Publications of Research Institute for Mathematical Sciences, Kyoto University. Kyoto University, Kyoto (1977)
Pigozzi, D., Salibra, A.: Polyadic algebras over nonclassical logics. In: Algebraic Methods in Logic and in Computer Science, vol. 28, pp. 51–66. Banach Center, Warsaw (1993)
Rachůnek, J.: DRl-semigroups and MV-algebras. Czechoslov. Math. J. 48, 365–372 (1998)
Rachůnek, J.: MV-algebras are categorically equivalent to a class of DRl 1(i)-semigroups. Math. Bohem. 123, 437–441 (1998)
Rachůnek, J.: A duality between algebras of basic logic and bounded representable DRl-monoids. Math. Bohem. 126, 561–569 (2001)
Rachůnek, J., Slezák, V.: Negation in bounded commutative DRl-monoids. Czechoslov. Math. J. 56, 755–763 (2006)
Rachůnek, J., Šalounová, D.: Local bounded commutative residuated l-monoids. Czechoslov. Math. J. 57, 395–406 (2007)
Rachůnek, J., Šalounová, D.: Truth values on generalizations of some commutative fuzzy structures. Fuzzy Sets Syst. 157, 3159–3168 (2006)
Rutledge, J.D.: A preliminary investigation of the infinitely many-valued predicate calculus. Ph.D. Thesis, Cornell University (1959)
Schwartz, D.: Theorie der polyadischen MV-Algebren endlicher Ordnung. Math. Nachr. 78, 131–138 (1977)
Schwartz, D.: Polyadic MV-algebras. Zeit. f. math. Logik und Grundlagen d. Math. 26, 561–564 (1980)
Swamy, K.L.N.: Dually residuated lattice ordered semigroups. Math. Ann. 159, 105–114 (1965)
Author information
Authors and Affiliations
Corresponding author
Additional information
Jiří Rachůnek was supported by the Council of Czech Goverment MSM 6198959214.
Rights and permissions
About this article
Cite this article
Rachůnek, J., Švrček, F. Monadic Bounded Commutative Residuated ℓ-monoids. Order 25, 157–175 (2008). https://doi.org/10.1007/s11083-008-9088-2
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11083-008-9088-2