On varieties defined by pseudocomplemented nondistributive lattices
Ivan Chajda, S. Radeleczki · Publicationes Mathematicae Debrecen · 2003
Lattices with 1, where for each element a ∈ L the interval [a, 1] is pseudocomplemented, can be equipped with a binary operation "•" similar to the operation of relative pseudocomplementation.These algebras (L, ∧, ∨, •, 1) form an arithmetical and 1-regular variety.We investigate the subvarieties and the congruence kernels in this variety.It is shown that all algebras (L, ∧, ∨, •, 1) where L is a finite sublattice of a free lattice can be characterized by a particular identity.