Adjoint Operations in Twist-Products of Lattices
Abstract
Given an integral commutative residuated lattices L=(L,∨,∧), its full twist-product (L2,⊔,⊓) can be endowed with two binary operations ⊙ and ⇒ introduced formerly by M. Busaniche and R. Cignoli as well as by C. Tsinakis and A. M. Wille such that it becomes a commutative residuated lattice. For every a∈L we define a certain subset Pa(L) of L2. We characterize when Pa(L) is a sublattice of the full twist-product (L2,⊔,⊓). In this case Pa(L) together with some natural antitone involution ' becomes a pseudo-Kleene lattice. If L is distributive then (Pa(L),⊔,⊓,') becomes a Kleene lattice. We present sufficient conditions for Pa(L) being a subalgebra of (L2,⊔,⊓,⊙,⇒) and thus for ⊙ and ⇒ being a pair of adjoint operations on Pa(L). Finally, we introduce another pair ⊙ and ⇒ of adjoint operations on the full twist-product of a bounded commutative residuated lattice such that the resulting algebra is a bounded commutative residuated lattice satisfying the double negation law, and we investigate when Pa(L) is closed under these new operations.
- Publication:
-
Symmetry
- Pub Date:
- February 2021
- DOI:
- 10.3390/sym13020253
- arXiv:
- arXiv:2101.00677
- Bibcode:
- 2021Symm...13..253C
- Keywords:
-
- full twist-product;
- residuated lattice;
- Kleene lattice;
- pseudo-Kleene lattice;
- double negation law;
- 06D30;
- 03G10;
- 03G25;
- 03G47;
- Mathematics - Rings and Algebras;
- 06D30;
- 03G10;
- 03G25;
- 03G47