A characterization of congruence kernels in pseudocomplemented semilattices
A note on congruence lattices of distributive -algebras.
A note on distributive double -algebras
A note on Stone join-semilattices
Characterizations for a pseudocomplemented modular join-semilattice with 0 and 1 and its ideal lattice to be a Stone lattice are given.
A note on the tolerance lattice of atomistic algebraic lattices.
Affine complete algebras abstracting Kleene and Stone algebras.
Affine complete algebras generalizing Kleene and Stone algebras.
Algebraic axiomatization of tense intuitionistic logic
We introduce two unary operators G and H on a relatively pseudocomplemented lattice which form an algebraic axiomatization of the tense quantifiers “it is always going to be the case that” and “it has always been the case that”. Their axiomatization is an extended version for the classical logic and it is in accordance with these operators on many-valued Łukasiewicz logic. Finally, we get a general construction of these tense operators on complete relatively pseudocomplemented lattice which is a...
Algebraic properties of pre-logics
Algebras determined by their endomorphism monoids