Kernel L-Ideals and L-Congruence on a Subclass of Ockham Algebras

Abstract

In this paper, we study $L$ -congruences and their kernel in a subclass ${\mathcal{K}}_{n,0}$ of the variety of Ockham algebras $A$ . We prove that the class of kernel $L$ -ideals of an Ockham algebra forms a complete Heyting algebra. Moreover, for a given kernel $L$ -ideal $\xi$ on $A$ , we obtain the least and the largest $L$ -congruences on $A$ having $\xi$ as its kernel.