Ockham algebras with pseudocomplementation

From MaRDI portal





An Ockham algebra is a bounded distributive lattice \(L\) together with a dual endomorphism \(f: L\to L\). A \(p\)-algebra is a lattice \(L\) with a smallest element \(0\) together with a mapping *\(:L\to L\) such that \(x\wedge y=0\) iff \(y\leq x^*\). The variety \(pO\) consists of those algebras \((L;\wedge, \vee, f,\)*\(,0, 1)\) of type \((2, 2, 1, 1, 0, 0)\) for which \((L; \wedge, \vee, f, 0, 1)\) is an Ockham algebra, \((L; \wedge, \vee,\)*\(,0, 1)\) is a \(p\)-algebra, and the unary operations \(f\) and * commute. The scope of this paper is to describe completely the structure of the subdirectly irreducible algebras that belong to the subclass \(pK_{1,1}\), characterized by the property \(f^3= f\).











This page was built for publication: Ockham algebras with pseudocomplementation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4361024)