Equational bases for varieties of Ockham algebras (Q5906612)
From MaRDI portal
scientific article; zbMATH DE number 695410
Language | Label | Description | Also known as |
---|---|---|---|
English | Equational bases for varieties of Ockham algebras |
scientific article; zbMATH DE number 695410 |
Statements
Equational bases for varieties of Ockham algebras (English)
0 references
1 May 1995
0 references
The authors introduce a technique for finding equational bases for certain varieties of distributive lattice ordered algebras. They restrict their attention to varieties of Ockham algebras because such varieties were the first ones they investigated in this context and they are able to present the underlying theory without too many notational and technical complications. Ockham algebras form a rich lattice of varieties which have been extensively studied. Equational bases have been found for all subvarieties of certain small varieties, but in the opinion of the authors, these studies are essentially ad hoc. The authors present a purely algorithmic approach for generating equational bases. Identities defining a variety \(A\) reside in the free algebras \(\text{FA}(s)\) \((1\leq s<\omega)\).They show how this statement has a precise interpretation in terms of duality theory, which makes a set of defining identities for \(A\) quite transparent.
0 references
natural duality
0 references
equational bases
0 references
Ockham algebras
0 references
algorithmic approach
0 references
0 references