L-Fuzzy Congruences and L-Fuzzy Kernel Ideals in Ockham Algebras

In this paper, we study fuzzy congruence relations and kernel fuzzy ideals of an Ockham algebra A , f , whose truth values are in a complete lattice satisfying the infinite meet distributive law. Some equivalent conditions are derived for a fuzzy ideal of an Ockham algebra A to become a fuzzy kernel ideal. We also obtain the smallest (respectively, the largest) fuzzy congruence on A having a given fuzzy ideal as its kernel.

The Lattice of Congruences on a Subdirectly Irreducible Weak Stone-Ockham Algebra

Weak Stone-Ockham algebras are those algebras (L; ∧, ∨, f, ⋆,0,1) of type 〈2,2,1,1,0,0〉, where (L; ∧, ∨, f,0,1) is an Ockham algebra, (L; ∧, ∨, ⋆,0,1) is a weak Stone algebra, and the unary operations f and ⋆ commute. In this paper, we give a complete description of the structure of the lattice of congruences on the subdirectly irreducible algebras.