Ockham Algebras with Balanced Demi-pseudocomplementation

Abstract

Let bdpO be the variety consisting of 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 demi-pseudocompleted lattice, and the unary operations f and * satisfy the conditions [f(x)]*=f2(x) and f(x*)=x**. Here we give a description of the structure of the subdirectly irreducible algebras in bdpO.