Jie Fang - Ockham algebras with pseudocomplementation

Next: Ibrahim Garro - An Up: Universal Algebra and Multiple-Valued Previous: Clifford Bergman - Complexity

Jie Fang - Ockham algebras with pseudocomplementation

JIE FANG, Department of Mathematics, Simon Fraser University, Burnaby, British Columbia V5A 1S6, Canada

Ockham algebras with pseudocomplementation

The variety ${\bf pO}$ consists of those algebras $(L, \land, \lor, f, \star, 0, 1)$ of type $\langle 2, 2, 1, 1, 0, 0\rangle$ , where $(L, \land, \lor, f, 0, 1)$ is an Ockham algebra, $(L, \land, \lor, \star, 0, 1)$ is a p-algebra, and the unary operations f and $\star$ commute. We describe the structure of the subdirectly irreducible algebras that belong to the subclass ${\bf pK}_{1,1}$ characterised by the property f³=f, and give a description of the lattice of subvarieties of ${\bf pK}_{1,1}$ .