For n is an element of N and m is an element of N-o, an algebra L = (L; Lambda, V, f,g, 0, 1) of type (2, 2, 1, 1, 0, 0) is said to be a double K-m,K-n-algebra if L is a double Ockham algebra that satisfies the identities f(2n+m) = f(m), g(2n+m) = g(m), fg - g(2zn) and gf = f(2zn), where z is the smallest natural number greater than or equal to m/2n. In this paper we study subdirectly irreducible double K-n,K-m-algebras: we prove that every finitely subdirectly irreducible algebra is subdirectly irreducible and we characterize subdirectly irreducible algebras by determining their lattice of congruences.
展开▼