Skip to main content
SpringerLink
Log in

Semisimplicity, EDPC and Discriminator Varieties of Bounded Weak-commutative Residuated Lattices with an S4-like Modal Operator

  • Published:
Studia Logica Aims and scope Submit manuscript

Abstract

In this paper, we show that all semisimple varieties of bounded weak-commutative residuated lattices with an S4-like modal operator are discriminator varieties. We also give a characterization of discriminator and EDPC varieties of bounded weak-commutative residuated lattices with an S4-like modal operator follows.

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

Access this article

Log in via an institution

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. Blok W. J., Pigozzi D.: On the structure of varieties with equationally definable principal congruences I. Algebra Universalis 15, 195–227 (1982)

    Article  Google Scholar 

  2. Blok W. J., Pigozzi D.: On the structure of varieties with equationally definable principal congruences II. Algebra Universalis 18, 334–379 (1984)

    Article  Google Scholar 

  3. Blok W. J., Pigozzi D.: On the structure of varieties with equationally definable principal congruences III. Algebra Universalis 31, 545–608 (1994)

    Article  Google Scholar 

  4. Blok W. J., Pigozzi D.: On the structure of varieties with equationally definable principal congruences IV. Algebra Universalis 31, 1–35 (1994)

    Article  Google Scholar 

  5. Blount K., Tsinakis C.: The structure of residuated lattices. International Journal of Algebra and Computation 13, 437–461 (2003)

    Article  Google Scholar 

  6. Galatos, N., Varieties of residuated lattices, Ph.D. thesis, Vanderbilt University, 2003.

  7. Grishin, V. N., Predicate and set-theoretic calculi based on logic without contraction rule (in Russian), Izvestia Akademii Nauk SSSR (also English translation in Math. USSR Izvestia) 45:47–68, 1981, (18:41–59, 1982).

  8. Jipsen, P., and C. Tsinakis, A survey of residuated lattices, in Ordered Algebraic Structures, Kluwer Academic Publishers, Dordrecht, 2002.

  9. Kowalski T.: Semisimplicity, EDPC and discriminator varieties of residuated lattices. Studia Logica 77, 255–265 (2004)

    Article  Google Scholar 

  10. Kowalski T., Kracht M.: Discriminator variety of multimodal algebras. Studia Logica 83, 351–363 (2006)

    Article  Google Scholar 

  11. Kowalski T., Ono H.: The variety of residuated lattices is generated by its finite simple members. Reports on Mathematical Logic 34, 59–77 (2000)

    Google Scholar 

  12. Galatos, N., T. Kowalski, P. Jipsen, and H. Ono, Residuated lattices: an algebraic glimpse at substructural logics, vol. 151 of Studies in Logic and the Foundations of Mathematics, Elsevier, 2007.

  13. Takamura, H., The structure theory of residuated lattices with a modality, in preparation.

  14. Takamura H.: The variety of modal FLew-algebras is generated by its finite simple members. Proceedings of Advances in Modal Logic 6, 469–479 (2006)

    Google Scholar 

  15. Takamura, H., Semisimplicity, EDPC and discriminator varieties of bounded commutative residuated lattices with an s4-like modal operator, Algebraic and Topological methods in Non-Classical Logic 2007 (TANCL2007), 2007).

  16. Takamura, H., Semisimplicity, EDPC and discriminator varieties of modal FL ew -algebras, preliminary version, Programming Science Technical Report, AIST-PS-2007-002, 2007.

  17. Takamura, H., Algebraic structure of modal substructural logics (in Japanese), Foundation of Mathematics Summer School in Japan http://trout.math.cst.nihonu.ac.jp/~shimura/summer_school/summer_takamura.pdf, 2009.

  18. Werner, H., Discriminator Algebras, Akademie Verlag, Berlin, 1978.

Download references

Author information

Authors and Affiliations

  1. Japan Science and Technology Agency (JST), Dependable Embedded OS R&D Center, 1-18-19, Sotokanda, Chiyoda-ku, Tokyo, 101-0021, Japan

    Hiroki Takamura

Authors
  1. Hiroki Takamura
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Hiroki Takamura.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Takamura, H. Semisimplicity, EDPC and Discriminator Varieties of Bounded Weak-commutative Residuated Lattices with an S4-like Modal Operator. Stud Logica 100, 1137–1148 (2012). https://doi.org/10.1007/s11225-012-9460-5

Download citation

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11225-012-9460-5

Keywords

Search

Navigation