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.
Similar content being viewed by others
References
Blok W. J., Pigozzi D.: On the structure of varieties with equationally definable principal congruences I. Algebra Universalis 15, 195–227 (1982)
Blok W. J., Pigozzi D.: On the structure of varieties with equationally definable principal congruences II. Algebra Universalis 18, 334–379 (1984)
Blok W. J., Pigozzi D.: On the structure of varieties with equationally definable principal congruences III. Algebra Universalis 31, 545–608 (1994)
Blok W. J., Pigozzi D.: On the structure of varieties with equationally definable principal congruences IV. Algebra Universalis 31, 1–35 (1994)
Blount K., Tsinakis C.: The structure of residuated lattices. International Journal of Algebra and Computation 13, 437–461 (2003)
Galatos, N., Varieties of residuated lattices, Ph.D. thesis, Vanderbilt University, 2003.
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).
Jipsen, P., and C. Tsinakis, A survey of residuated lattices, in Ordered Algebraic Structures, Kluwer Academic Publishers, Dordrecht, 2002.
Kowalski T.: Semisimplicity, EDPC and discriminator varieties of residuated lattices. Studia Logica 77, 255–265 (2004)
Kowalski T., Kracht M.: Discriminator variety of multimodal algebras. Studia Logica 83, 351–363 (2006)
Kowalski T., Ono H.: The variety of residuated lattices is generated by its finite simple members. Reports on Mathematical Logic 34, 59–77 (2000)
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.
Takamura, H., The structure theory of residuated lattices with a modality, in preparation.
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)
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).
Takamura, H., Semisimplicity, EDPC and discriminator varieties of modal FL ew -algebras, preliminary version, Programming Science Technical Report, AIST-PS-2007-002, 2007.
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.
Werner, H., Discriminator Algebras, Akademie Verlag, Berlin, 1978.
Author information
Authors and Affiliations
Corresponding author
Rights 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
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11225-012-9460-5