Abstract
In this article, we study in detail the regular elements of a bounded, commutative and integral residuated lattice. We introduce the notion of a regular variety and explore its relationship with the Kolmogorov negative translation. In addition, we investigate the corresponding notions in the axiomatic extensions of the Full Lambek Calculus with exchange and weakening.
Similar content being viewed by others
References
Blok, W., Pigozzi, D.: Algebraizable Logics, Mem. Amer. Math. Soc. 396, Providence (1989)
Bergman, C.: Universal Algebra. Fundamental and Selected Topics, Pure and Applied Mathematics, CRC Press, Chapman & Hall (2012)
Burris, S., Sankappanavar, H.P.: A Course in Universal Algebra, Graduate Texts in Mathematics, Springer, New York (1981)
Castaño, D., Díaz Varela, J.P., Torrens, A.: Free-decomposability in Varieties of Pseudocomplemented Residuated Lattices, Studia Logica 98, 223–235 (2011)
Cignoli R., Torrens A.: Glivenko like theorems in natural expansions of BCK-logics. Math. Log. Quart. 50, 111–125 (2004)
Cignoli R., Torrens A.: Varieties of commutative, integral bounded residuated lattices admitting a Boolean retraction term. Studia Logica 100, 1107–1136 (2012)
Czelakowski J.: Protoalgebraic logics. Kluwer Academic Publishers, Dordrecht (2003)
Galatos N., Jipsen P., Kowalski T., Ono H.: Residuated Lattices: an Algebraic Glimpse at Substructural Logics. Elsevier, New York (2007)
Glivenko V.: Sur quelques points de la logique de M. Brouwer. Bull. Acad. Sci. Belgique 15, 183–188 (1929)
Kolmogorov, A.: On the principle on tertium non datur, Matematiceskij Sbornik 32, 646–667 (1925). Translated as ‘On the principle of excluded middle’. In: van Heijenoort, J. (ed.) From Frege to Gödel. A Source Book in Mathematical Logic, pp. 1879–1931. Harvard University Press, Cambridge (1967)
Kowalski T.: Semisimplicity, EDPC and discriminator varieties of residuated lattices. Studia Logica 77, 255–265 (2004)
Kowalski, T., Ono, H.: Residuated lattices: An algebraic glimpse at logics without contraction (2004, preliminary report)
Torrens A.: An approach to Glivenko’s theorem in algebraizable logics. Studia Logica 88, 349–383 (2008)
Author information
Authors and Affiliations
Corresponding author
Additional information
Presented by C. Tsinakis.
This paper was prepared partly while the first two authors were visiting the University of Barcelona and IIIA-CSIC, Spain, both supported by CONICET and Universidad Nacional del Sur. The third author was partially supported by Grants 2009SGR1433 of D.G.R. of Generalitat de Catalunya and MTM2011-25747 of D.G.I.C.Y.T. of Spain. The authors are also supported by IRSES project MaToMUVI (PIRSES-GA-2009-247584) of the European Union.
Rights and permissions
About this article
Cite this article
Castaño, D.N., Díaz Varela, J.P. & Torrens, A. Regular elements and Kolmogorov translation in residuated lattices. Algebra Univers. 73, 1–22 (2015). https://doi.org/10.1007/s00012-014-0311-2
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00012-014-0311-2