Complemented congruences on Ockham algebras

Abstract

An Ockham algebra $L = (L,∧, ∨, f, 0, 1)$ that satisfies the identity $f^{2n+m} = f^m$, $n ∈ \mathbb{N}$ and $m ∈ \mathbb{N}_0$, is called a $K_{n,m}$-algebra. In this paper we describe the complement (when it exists) of a principal congruence and characterize these congruences that are complemented.Fundação para a Ciência e a Tecnologia (FCT) - programa POCT