Stonean kernels of MS-algebras. (English) Zbl 0923.06008
Summary: The internal structures of MS-algebras are investigated by means of the new notions of Stonean kernel and M-ideal. We determine necessary and sufficient conditions for an MS-algebra with a Kleene skeleton. After introducing a special kind of principal congruence, we consider the relationship between an MS-algebra and its quotient algebra.
MSC:
| 06D30 | De Morgan algebras, Łukasiewicz algebras (lattice-theoretic aspects) |
Keywords:
MS-algebras; Stonean kernel; M-ideal; Kleene skeleton; principal congruence; quotient algebraReferences:
| [1] | Blyth, T. S.; Varlet, J. C., On a common abstraction of de Morgan algebras and Stone algebras, Proc Roy Soc Edinburgh, 94 A, 301-308 (1983) · Zbl 0536.06013 |
| [2] | Blyth, T. S.; Varlet, J. C., Congruences on MS-algebras, Bul Soc Roy Sci Liege, 53, 341-362 (1984) · Zbl 0565.06011 |
| [3] | Blyth, T. S.; Varlet, J. C., Subvarieties of the class of MS-algebras, Proc Roy Soc Edinburgh, 94 A, 157-169 (1983) · Zbl 0544.06011 |
| [4] | Varlet, J. C., Congruences on de Morgen algebras, Bull Soc Roy Sci Liege, 50, 332-343 (1981) · Zbl 0484.06018 |
| [5] | Liwen, Pei; Jiangxin, Xu, The strict Orthodoxy and Boolean kernels of soft algebras (Fuzzy Lattices), J Fuzzy Math, 4, 3, 631-643 (1996) · Zbl 0869.06009 |
| [6] | Blyth, T. S.; Noor, A. S A.; Varlet, J. C., Ockham algebras with de Morgan skeletons, J Algebra, 117, 165-178 (1998) · Zbl 0671.06007 · doi:10.1016/0021-8693(88)90248-7 |
| [7] | Sankappanavar, H. P., Distributive lattices with a dual endomorphism, Zeitschr J Math Logik and Grundlagen Math, 31, 385-392 (1985) · Zbl 0578.06010 · doi:10.1002/malq.19850312502 |
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.
