Abstract
AbstractThe variety O2 of all algebras (L; ∧, ∨, f, g, 0, 1) of type (2, 2, 1, 1, 0, 0) such that (L; ∧, ∨, f, 0, 1) and (L; ∧, ∨, g, 0, 1) are Ockham algebras is introduced, and, for n, m εℕ, its subvarieties DMSn, of double MSn-algebras, and DKn,m, of double Kn,m-algebras, are considered. It is shown that DKn,m has equationally definable principal congruences: a description of principal congruences on double Kn,m-algebras is given and simplified for double MSn-algebras. A topological duality for O2-algebras is developed and used to determine the subdirectly irreducible algebras in DKn,m and in DMSn. Finally, MSn-algebras which are reduct of a (unique) double MSn-algebra are characterized.
Publisher
Cambridge University Press (CUP)
Reference13 articles.
1. 12. Sequeira M. , Álgebras-MS generalizadas e álgebras-Knl duplas, Ph.D. dissertation, Lisboa, 1989.
2. On the structure of varieties with equationally definable principal congruences I
3. Congruences on double MS-algebras;Blyth;Bull. Soc. Roy. Sci. Liege,1987
4. On a common abstraction of de Morgan algebras and Stone algebras
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献