Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
×
We establish the existence uncountably many atoms in the subvariety lattice of the variety of involutive residuated lattices.
Abstract. We establish the existence uncountably many atoms in the subvariety lattice of the variety of involutive residuated lattices.
Abstract. We establish the existence uncountably many atoms in the subvariety lattice of the variety of involutive residuated lattices.
Abstract. We establish the existence uncountably many atoms in the subvariety lattice of the variety of involutive residuated lattices.
Abstract. We establish the existence uncountably many atoms in the subvariety lattice of the variety of involutive residuated lattices.
Abstract.In this paper we investigate the atomic level in the lattice of subvarieties of residuated lattices. In particular, we give infinitely many ...
We establish the existence uncountably many atoms in the subvariety lattice of the variety of involutive residuated lattices.
Minimal Varieties of Involutive Residuated Lattices. https://doi.org/10.1007/s11225-006-8311-7 ·. Journal: Studia Logica, 2006, № 1-3, p. 407-423. Publisher ...
We establish the existence uncountably many atoms in the subvariety lattice of the variety of involutive residuated lattices. The proof utilizes a construction ...
An algebra A = hA,∧,∨,·,\, /,1i is a residuated lattice (RL) if it satisfies the following conditions. (R1) hA,∧,∨,1i is a lattice,.