Author(s): Mendes, C.
Date: 2005
Persistent ID: http://hdl.handle.net/1822/11553
Origin: RepositóriUM - Universidade do Minho
Subject(s): Ockham algebras; Congruences; Distributive lattices; Science & Technology
Author(s): Mendes, C.
Date: 2005
Persistent ID: http://hdl.handle.net/1822/11553
Origin: RepositóriUM - Universidade do Minho
Subject(s): Ockham algebras; Congruences; Distributive lattices; Science & Technology
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 POCTI