Abstract
In this paper1 we complete the results of [3] and consider the problem of the determination of the conjunction and the disjunction of two axioms. We apply the results obtained to the search of equational bases for all the subvarieties of the class DMS of double MS-algebras. Finally, we determine all the subvarieties which can be characterised by exactly one of the 60 axioms which were considered in [3].
Original language | English |
---|---|
Pages (from-to) | 391-404 |
Number of pages | 14 |
Journal | Bulletin de la Societe Royale des Sciences de Liege |
Volume | 66 |
Issue number | 6 |
Publication status | Published - 1 Dec 1997 |
Keywords
- Double MS-algebra
- Duality theory
- Equational basis
- Subdirectly irreducible algebra