Subdirectly irreducible sectionally pseudocomplemented semilattices

summary:Sectionally pseudocomplemented semilattices are an extension of relatively pseudocomplemented semilattices—they are meet-semilattices with a greatest element such that every section, i.e., every principal filter, is a pseudocomplemented semilattice. In the paper, we give a simple equational characterization of sectionally pseudocomplemented semilattices and then investigate mainly their congruence kernels which leads to a characterization of subdirectly irreducible sectionally pseudocomplemented semilattices

Normalization of MVMV-algebras

summary:We consider algebras determined by all normal identities of $MV$-algebras, i.e. algebras of many-valued logics. For such algebras, we present a representation based on a normalization of a sectionally involutioned lattice, i.e. a $q$-lattice, and another one based on a normalization of a lattice-ordered group

Annihilators on weakly standard BCC-algebras

In a recent paper the authors presented a new construction of BCC-algebras derived from posets with the top element 1. Resulting BCC-algebras, called weakly standard, are those for which every 4-element subset containing 1 is a subalgebra. In this paper we continue our investigations focusing on the properties of their lattices of congruence kernels