Skip to main content
SpringerLink
Log in

Semisimplicity, EDPC and Discriminator Varieties of Residuated Lattices

  • Published:
Studia Logica Aims and scope Submit manuscript

Abstract

We prove that all semisimple varieties of FL ew-algebras are discriminator varieties. A characterisation of discriminator and EDPC varieties of FL ew-algebras follows. It matches exactly a natural classification of logics over FL ew proposed by H. Ono.

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., and D. Pigozzi, \lsOn the structure of varieties with equationally definable principal congruences I\rs, Algebra Universalis 15 (1982), 195–227.

    Google Scholar 

  2. Blok, W. J., P. K\:ohler, and D. Pigozzi, \lsOn the structure of varieties with equationally definable principal congruences II\rs, Algebra Universalis 18 (1984), 334–379.

    Google Scholar 

  3. Blok, W. J., and D. Pigozzi, \lsOn the structure of varieties with equationally definable principal congruences III\rs, Algebra Universalis 32 (1994), 545–608.

    Google Scholar 

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

    Google Scholar 

  5. Jipsen, P., and C. Tsinakis, \lsA survey of residuated lattices\rs, in J. Martinez, (ed.), Ordered Algebraic Structures, Kluwer Academic Publishers, Dordrecht 2002.

    Google Scholar 

  6. Kowalski, T., and M. Kracht, \lsWeakly-transitive and semisimple varieties of modal algebras\rs, manuscript.

  7. Kowalski, T., and H. Ono, Residuated Lattices: an algebraic glimpse at logics without contraction, JAIST preliminary report, 2001.

  8. Ono, H., \lsLogics without contraction rule and residuated lattices I\rs, Festschrift on the occasion of R.K. Meyer's 65th birthday (forthcoming).

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

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Research School of Information Sciences and Engineering, Australian National University, 0200, Canberra, Australia

    Tomasz Kowalski

Authors
  1. Tomasz Kowalski
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

About this article

Cite this article

Kowalski, T. Semisimplicity, EDPC and Discriminator Varieties of Residuated Lattices. Studia Logica 77, 255–265 (2004). https://doi.org/10.1023/B:STUD.0000037129.58589.0c

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1023/B:STUD.0000037129.58589.0c

Search

Navigation