Equational bases for varieties of Ockham algebras (Q5917482)
From MaRDI portal
scientific article; zbMATH DE number 1899965
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Equational bases for varieties of Ockham algebras |
scientific article; zbMATH DE number 1899965 |
Statements
Equational bases for varieties of Ockham algebras (English)
0 references
23 April 2003
0 references
By using of Priestley duality and a theorem of Urquhart, the authors develop a simple method for determining the equational bases for subvarieties \(P_{m,n}\) of the variety of Ockham algebras. The axioms they obtain have the same canonical form and involve few variables. The method is illustrated by a detailed study of the varieties \(MS_2\) and \(P_{3,2}\).
0 references
Ockham algebra
0 references
Priestley duality
0 references
equational basis
0 references
tabulation
0 references
