Regular elements and Kolmogorov translation in residuated lattices

DOI10.1007/S00012-014-0311-2MaRDI QIDQ2257976zbMATH OpenOpenAlexFDO

Authors Patricio Díaz Varela, Diego Castaño, Antoni Torrens

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

Glivenko varietiesKolmogorov translationregular elementsresiduated lattices

Mathematics Subject Classification ID

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

Review text

Let \(\mathbb{RL}\) be the class of all bounded commutative and integral residuated lattices. Given \(\mathbf{A} \in \mathbb{RL}\), we can define an (involutive) residuated structure \(\mathbf{Reg(A)}\) on the set of its regular (involutive) elements. Let \(\mathbb{V}\) be a variety contained in \(\mathbb{RL}\). In this paper, the relationship between \(\mathbb{V}\) and the class \(R(\mathbb{V}) = \{\mathbf{Reg(A)}:\mathbf{A} \in \mathbb{V}\}\) is studied. In particular, the authors give necessary and sufficient conditions for \(R(\mathbb{V})\) to be a variety and for it to be contained in \(\mathbb{V}\).

Recommendations

• scientific article; zbMATH DE number 1880982
• THE STRUCTURE OF RESIDUATED LATTICES
• Regularity in residuated lattices
• The residuated commutative law and the residuated meet semi-lattice and its relative properties
• Regular co-residuated lattices and involutory BCK-lattices.

Cites work

• Algebraizable logics
• An approach to Glivenko's theorem in algebraizable logics
• Free-decomposability in varieties of pseudocomplemented residuated lattices
• Glivenko like theorems in natural expansions of BCK-logic
• scientific article; zbMATH DE number 3751028 (Why is no real title available?)
• Protoalgebraic logics
• Residuated lattices. An algebraic glimpse at substructural logics
• Semisimplicity, EDPC and discriminator varieties of residuated lattices
• Universal algebra. Fundamentals and selected topics
• Varieties of commutative integral bounded residuated lattices admitting a Boolean retraction term

Cited in

(2)

• Frame definability in finitely valued modal logics
• Terms that define nuclei on residuated lattices: a case study of BL-algebras

This page was built for publication: Regular elements and Kolmogorov translation in residuated lattices

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2257976)