Ockham algebras with pseudocomplementation (Q4361024)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 1078799
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Ockham algebras with pseudocomplementation |
scientific article; zbMATH DE number 1078799 |
Statements
Ockham algebras with pseudocomplementation (English)
0 references
14 December 1997
0 references
Ockham algebra
0 references
bounded distributive lattice
0 references
dual endomorphism
0 references
\(p\)-algebra
0 references
subdirectly irreducible algebras
0 references
0.9702992
0 references
0.96163344
0 references
0.9519164
0 references
0.9443263
0 references
0.9408039
0 references
0.93750626
0 references
0.93098205
0 references
0.93057096
0 references
0.92811424
0 references
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\).
0 references
