next up previous
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,
\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 f3=f, and give a description of the lattice of subvarieties of ${\bf pK}_{1,1}$.