Regular elements and Kolmogorov translation in residuated lattices

DOI10.1007/s00012-014-0311-2zbMath1358.03096OpenAlexW2046956385MaRDI QIDQ2257976

José Patricio Díaz Varela, Diego N. Castaño, Antoni Torrens Torrell

Publication date: 2 March 2015

Published in: Algebra Universalis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00012-014-0311-2

zbMATH Keywords

regular elementsresiduated latticesGlivenko varietiesKolmogorov translation

Mathematics Subject Classification ID

Lattices of varieties (08B15) Logical aspects of lattices and related structures (03G10) Other algebras related to logic (03G25) Ordered semigroups and monoids (06F05)

Related Items

Frame definability in finitely valued modal logics

Cites Work

• Unnamed Item
• Unnamed Item
• Free-decomposability in varieties of pseudocomplemented residuated lattices
• Residuated lattices. An algebraic glimpse at substructural logics
• An approach to Glivenko's theorem in algebraizable logics
• Semisimplicity, EDPC and discriminator varieties of residuated lattices
• Varieties of commutative integral bounded residuated lattices admitting a Boolean retraction term
• Algebraizable logics
• Glivenko like theorems in natural expansions of BCK-logic
• Protoalgebraic logics