Skip to main content
Log in

Monadic Bounded Commutative Residuated ℓ-monoids

  • Published:
Order Aims and scope Submit manuscript

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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Bahls, P., Cole, J., Galatos, N., Jipsen, P., Tsinakis, C.: Cancellative residuated lattices. Algebra Univers. 50, 83–106 (2003)

    Article  MATH  MathSciNet  Google Scholar 

  2. Belluce, L.P., Grigolia, R., Lettieri, A.: Representations of monadic MV-algebras. Stud. Log. 81, 123–144 (2005)

    Article  MATH  MathSciNet  Google Scholar 

  3. Bělohlávek, R.: Fuzzy Relational Systems. Foundations and Principles. Kluwer, New York (2002)

    MATH  Google Scholar 

  4. Bezhanisvili, G.: Varieties of monadic Heyting algebras I. Stud. Log. 61, 367–402 (1998)

    Article  Google Scholar 

  5. Bezhanisvili, G.: Varieties of monadic Heyting algebras II. Stud. Log. 62, 21–48 (1999)

    Article  Google Scholar 

  6. Bezhanisvili, G.: Varieties of monadic Heyting algebras III. Stud. Log. 64, 215–256 (2000)

    Article  Google Scholar 

  7. Bezhanisvili, G., Harding, J.: Functional monadic Heyting algebras. Algebra Univers. 48, 1–10 (2002)

    Article  Google Scholar 

  8. Blount, K., Tsinakis, C.: The structure of residuated lattices. Int. J. Algebra Comput. 13, 437–461 (2003)

    Article  MATH  MathSciNet  Google Scholar 

  9. Di Nola, A., Grigolia, R.: On monadic MV-algebras. Ann. Pure Appl. Logic 128, 125–139 (2004)

    Article  MATH  MathSciNet  Google Scholar 

  10. Dvurečenskij, A., Rachunek, J.: Bounded commutative residuated l-monoids with general comparability and states. Soft Comput. 10, 212–218 (2006)

    Article  MATH  Google Scholar 

  11. Fisher Servi, G.: Axiomatizations for some intuitionistic modal logics. Rend. Semin. Mat. Univ. Polit. 42, 179–194 (1984)

    Google Scholar 

  12. 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)

    Google Scholar 

  13. Georgescu, G., Iorgulescu, A., Leustean, I.: Monadic and closure MV-algebras. Multi. Val. Logic. 3, 235–257 (1998)

    MATH  Google Scholar 

  14. Hájek, P.: Metamathematics of Fuzzy Logic. Kluwer, Dordrecht (1998)

    MATH  Google Scholar 

  15. Halmos, P.R.: Algebraic Logic. Chelsea, New York (1962)

    MATH  Google Scholar 

  16. Henkin, L., Monk, J.D., Tarski, A.: Cylindric Algebras, Part I. North-Holland, Amsterdam (1971)

    Google Scholar 

  17. Henkin, L., Monk, J.D., Tarski, A.: Cylindric Algebras, Part II. North-Holland, Amsterdam (1985)

    MATH  Google Scholar 

  18. Jipsen, P., Tsinakis, C.: A survey of residuated lattices. In: Martinez, J. (ed.) Ordered Algebraic Structures, pp. 19–56. Kluwer, Dordrecht (2002)

    Google Scholar 

  19. Kühr, J.: Pseudo BL-algebras and DRℓ-monoids. Math. Bohem. 128, 199–208 (2003)

    MATH  MathSciNet  Google Scholar 

  20. Monteiro, A.: Normalidad de las álgebras de Heyting monádicas. Actas de las X Jornades de la UMA, pp. 50 – 51. Bahia Blanca (1957)

  21. Monteiro, A., Varsavsky, O.: Algebras de Heyting monádicas. Actas de las X Jornades de la UMA, 52 – 62. Bahia Blanca (1957)

  22. Neméti, I.: Algebraization of quantifier logics. Stud. Log. 50, 485–569 (1991)

    Article  MATH  Google Scholar 

  23. 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)

  24. 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)

    Google Scholar 

  25. Rachůnek, J.: DRl-semigroups and MV-algebras. Czechoslov. Math. J. 48, 365–372 (1998)

    Article  MATH  Google Scholar 

  26. Rachůnek, J.: MV-algebras are categorically equivalent to a class of DRl 1(i)-semigroups. Math. Bohem. 123, 437–441 (1998)

    MATH  MathSciNet  Google Scholar 

  27. Rachůnek, J.: A duality between algebras of basic logic and bounded representable DRl-monoids. Math. Bohem. 126, 561–569 (2001)

    MATH  MathSciNet  Google Scholar 

  28. Rachůnek, J., Slezák, V.: Negation in bounded commutative DRl-monoids. Czechoslov. Math. J. 56, 755–763 (2006)

    Article  Google Scholar 

  29. Rachůnek, J., Šalounová, D.: Local bounded commutative residuated l-monoids. Czechoslov. Math. J. 57, 395–406 (2007)

    Article  Google Scholar 

  30. Rachůnek, J., Šalounová, D.: Truth values on generalizations of some commutative fuzzy structures. Fuzzy Sets Syst. 157, 3159–3168 (2006)

    Article  MATH  Google Scholar 

  31. Rutledge, J.D.: A preliminary investigation of the infinitely many-valued predicate calculus. Ph.D. Thesis, Cornell University (1959)

  32. Schwartz, D.: Theorie der polyadischen MV-Algebren endlicher Ordnung. Math. Nachr. 78, 131–138 (1977)

    Article  MATH  MathSciNet  Google Scholar 

  33. Schwartz, D.: Polyadic MV-algebras. Zeit. f. math. Logik und Grundlagen d. Math. 26, 561–564 (1980)

    Article  MATH  Google Scholar 

  34. Swamy, K.L.N.: Dually residuated lattice ordered semigroups. Math. Ann. 159, 105–114 (1965)

    Article  MATH  MathSciNet  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Jiří Rachůnek.

Additional information

Jiří Rachůnek was supported by the Council of Czech Goverment MSM 6198959214.

Rights and permissions

Reprints 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

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11083-008-9088-2

Keywords

Mathematics Subject Classifications (2000)

Navigation