Skip to main content
SpringerLink
Log in

Residuated Lattices

  • Chapter
Non-commutative Multiple-Valued Logic Algebras

Part of the book series: Springer Monographs in Mathematics ((SMM))

  • 1285 Accesses

Abstract

Residuation is a fundamental concept of ordered structures and the residuated lattices, obtained by adding a residuated monoid operation to lattices, have been applied in several branches of mathematics, including ℓ-groups, ideal lattices of rings and multiple-valued logics. Since the late 1930s, the commutative residuated lattices have been studied by Krull, Dilworth and Ward.

Non-commutative residuated lattices, sometimes called pseudo-residuated lattices, biresiduated lattices or generalized residuated lattices, are the algebraic counterparts of substructural logics, i.e. logics which lack at least one of the three structural rules, namely contraction, weakening and exchange. Particular cases of residuated lattices are the full Lambek algebras (FL-algebras), integral residuated lattices and bounded integral residuated lattices (FL w -algebras).

In this chapter we investigate the properties of a residuated lattice and the lattice of filters of a residuated lattice, we study the Boolean center of an FL w -algebra and we define and study the directly indecomposable FL w -algebras. We prove that any linearly ordered FL w -algebra is directly indecomposable and any subdirectly irreducible FL w -algebra is directly indecomposable. Finally, the FL w -algebras of fractions relative to a meet-closed system is introduced and investigated.

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

Access this chapter

Log in via an institution
eBook
USD 19.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 29.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD 29.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

References

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

    Article  MathSciNet  MATH  Google Scholar 

  2. Balbes, R., Dwinger, P.: Distributive Lattices. University of Missouri Press, Columbia (1974)

    MATH  Google Scholar 

  3. Birkhoff, G.: Lattice Theory. Am. Math. Soc., Providence (1967)

    MATH  Google Scholar 

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

    Article  MathSciNet  MATH  Google Scholar 

  5. Burris, S., Sankappanavar, H.P.: A Course in Universal Algebra. Springer, New York (1981)

    Book  MATH  Google Scholar 

  6. Buşneag, D., Piciu, D.: Localization of MV-algebras and ℓu-groups. Algebra Univers. 50, 359–380 (2003)

    Article  MATH  Google Scholar 

  7. Buşneag, D., Piciu, D.: Boolean BL-algebra of fractions. An. Univ. Craiova, Ser. Mat. Inform. 31, 1–19 (2004)

    MathSciNet  MATH  Google Scholar 

  8. Buşneag, D., Piciu, D.: MV-algebra of fractions and maximal MV-algebra of quotients. J. Mult.-Valued Log. Soft Comput. 10, 363–383 (2004)

    MATH  Google Scholar 

  9. Buşneag, D., Piciu, D.: Boolean MV-algebra of fractions. Math. Rep. (Bucur.) 7, 265–280 (2005)

    MathSciNet  Google Scholar 

  10. Buşneag, D., Piciu, D.: Localization of pseudo-BL algebra. Rev. Roum. Math. Pures Appl. L, 495–513 (2005)

    Google Scholar 

  11. Buşneag, D., Piciu, D.: BL-algebra of fractions and maximal BL-algebra of quotients. Soft Comput. 9, 544–555 (2005)

    Article  MATH  Google Scholar 

  12. Buşneag, D., Piciu, D.: On the lattice of filters of a pseudo-BL algebra. J. Mult.-Valued Log. Soft Comput. 12, 217–248 (2006)

    MATH  Google Scholar 

  13. Buşneag, D., Piciu, D.: Residuated lattice of fractions relative to a meet-closed system. Bull. Math. Soc. Sci. Math. Roum. 49, 13–24 (2006)

    Google Scholar 

  14. Buşneag, D., Piciu, D.: Pseudo-BL algebra of fractions and maximal pseudo-BL algebra of quotients. Southeast Asian Bull. Math. 31, 639–665 (2007)

    MathSciNet  MATH  Google Scholar 

  15. Buşneag, D., Piciu, D.: Localization of pseudo-MV algebras and ℓ-groups with strong unit. Int. Rev. Fuzzy Math. 2, 63–95 (2007)

    MathSciNet  MATH  Google Scholar 

  16. Buşneag, D., Piciu, D., Jeflea, A.: Archimedean residuated lattices. An. ştiinţ. Univ. “Al.I. Cuza” Iaşi, Mat. LVI, 227–252 (2010)

    Google Scholar 

  17. Dilworth, R.P.: Non-commutative residuated lattices. Trans. Am. Math. Soc. 46, 426–444 (1939)

    MathSciNet  Google Scholar 

  18. Dvurečenskij, A., Hyčko, M.: Algebras on subintervals of BL-algebras, pseudo-BL algebras and bounded residuated Rℓ-monoids. Math. Slovaca 56, 125–144 (2006)

    MathSciNet  MATH  Google Scholar 

  19. Dvurečenskij, A., Rachůnek, J.: Probabilistic averaging in bounded non-commutative Rℓ-monoids. Semigroup Forum 72, 190–206 (2006)

    MathSciNet  Google Scholar 

  20. Flondor, P., Sularia, M.: On a class of residuated semilattice monoids. Fuzzy Sets Syst. 138, 149–176 (2003)

    Article  MathSciNet  MATH  Google Scholar 

  21. Galatos, N.: Varieties of residuated lattices. Ph.D. thesis, Vanderbilt University, Nashville (2003)

    Google Scholar 

  22. Galatos, N.: Minimal varieties of residuated lattices. Algebra Univers. 52, 215–239 (2005)

    Article  MathSciNet  Google Scholar 

  23. Galatos, N., Jipsen, P.: A survey of generalized basic logic algebras. In: Cintula, P., Hanikova, Z., Svejdar, V. (eds.) Witnessed Years: Essays in Honour of Petr Hajek, pp. 305–331. College Publications, London (2009)

    Google Scholar 

  24. Galatos, N., Jipsen, P., Kowalski, T., Ono, H.: Residuated Lattices: An Algebraic Glimpse at Substructural Logics. Elsevier, Amsterdam (2007)

    Google Scholar 

  25. Georgescu, G., Popescu, A.: Similarity convergence in residuated structures. Log. J. IGPL 13, 389–413 (2005)

    Article  MathSciNet  MATH  Google Scholar 

  26. Georgescu, G., Leuştean, L., Mureşan, C.: Maximal residuated lattices with lifting Boolean center. Algebra Univers. 63, 83–99 (2010)

    Article  MATH  Google Scholar 

  27. Grätzer, G.: Lattice Theory. First Concepts and Distributive Lattices. A Series of Books in Mathematics. Freeman, San Francisco (1972)

    Google Scholar 

  28. Höhle, U.: Commutative residuated monoids. In: Höhle, U., Klement, P. (eds.) Non-classical Logics and Their Applications to Fuzzy Subsets, pp. 53–106. Kluwer Academic, Dordrecht (1995)

    Chapter  Google Scholar 

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

    Chapter  Google Scholar 

  30. Kowalski, T., Ono, H.: Residuated lattices: an algebraic glimpse at logics without contraction. Monograph (2001)

    Google Scholar 

  31. Krull, W.: Axiomatische Begründung der allgemeinen Idealtheorie. Sitzungsber. Phys.-Med. Soz. Erlangen 56, 47–63 (1924)

    Google Scholar 

  32. Ono, H.: Completions of algebras and completeness of modal and substructural logics. In: Advances in Modal Logic, vol. 4, pp. 335–353. King’s College Publications, London (2003)

    Google Scholar 

  33. Ono, H., Komori, Y.: Logics without contraction rule. J. Symb. Log. 50, 169–201 (1985)

    Article  MathSciNet  MATH  Google Scholar 

  34. Pavelka, J.: On fuzzy logic II. Enriched residuated lattices and semantics of propositional calculi. Z. Math. Log. Grundl. Math. 25, 119–134 (1979)

    Article  MathSciNet  MATH  Google Scholar 

  35. Rudeanu, S.: Localizations and fractions in algebra of logic. J. Mult.-Valued Log. Soft Comput. 16, 467–504 (2010)

    MathSciNet  MATH  Google Scholar 

  36. Ward, M.: Residuated distributive lattices. Duke Math. J. 6, 641–651 (1940)

    Article  MathSciNet  Google Scholar 

  37. Ward, M., Dilworth, R.P.: Residuated lattices. Trans. Am. Math. Soc. 45, 335–354 (1939)

    Article  MathSciNet  MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Mathematics, University of Iowa, Iowa City, IA, USA

    Lavinia Corina Ciungu

Authors
  1. Lavinia Corina Ciungu
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

Copyright information

© 2014 Springer International Publishing Switzerland

About this chapter

Cite this chapter

Ciungu, L.C. (2014). Residuated Lattices. In: Non-commutative Multiple-Valued Logic Algebras. Springer Monographs in Mathematics. Springer, Cham. https://doi.org/10.1007/978-3-319-01589-7_3

Download citation

Publish with us

Policies and ethics

Search

Navigation