Abstract
Semi-DeMorgan algebras are a common generalization of DeMorgan algebras and pseudocomplemented distributive lattices. A duality for them is developed that builds on the Priestley duality for distributive lattices. This duality is then used in several applications. The subdirectly irreducible semi-DeMorgan algebras are characterized. A theory of “partial diagrams” is developed, where properties of algebras are tied to the omission of certain partial diagrams from their duals. This theory is then used to find and give axioms for the largest variety of semi-DeMorgan algebras with the congruence extension property.
Similar content being viewed by others
References
Beazer, R., 1984, ‘Injectivities in some small varieties of distributive Ockham algebras’, Glasgow Math. J. 25, 183–191.
Beazer, R., 1984, ‘On some small varieties of distributive Ockham algebras’. Glasgow Math. J. 25, 175–181.
Bialynicki-Birula, A. and H. Rasiowa, 1957, ‘On the representation of quasi-Boolean algebras’, Bull. Acad. Polon. Sci. 5, 259–261.
Blyth, T. S. and Varlet, J. C., 1983. ‘On a common abstraction of De Morgan algebras and Stone algebras’, Proc. Roy. Soc. Edinburgh Sect. A 94, 301–308.
Blyth, T. S. and Varlet, J. C., 1983, ‘Subvarieties of the class of MS-algebra’, Proc. Roy. Soc. Edinburgh Sect. A 95, 157–169.
Blyth, T. S. and J. C. Varlet, 1984, ‘Congruences on MS-algebras’, Bulletin de la Societé Royales des Sciences de Liège 53, 341–362.
Cornish, W. H., 1986, ‘Antimorphic Action. Categories of Algebraic Structures with Involutions or Anti-Endomorphisms’, Research and Exposition in Mathematics 12, Heldermann Verlag, Berlin.
Cornish, W. H. and Fowler, P. R., 1977, ‘Coproducts of deMorgan algebras’, Bull. Austral. Math. Soc. 16, 1–13.
Hobby, D. H., Varieties of semi-DeMorgan algebras, preprint.
Kalman, J. A., 1958, ‘Lattices with involution’, Trans. A.M.S. 87, 485–491.
Nachbin, L., 1976, Topology and Order, Van Nostrand, Princeton, N.J., 1965; reprinted by Krieger, Huntington, N.Y.
Priestley, H. A., 1984, ‘Ordered sets and duality for distributive lattices’, Annals Disc. Math. 23, 39–60.
Priestley, H. A., 1972, ‘Ordered topological spaces and the representation of distributive lattices’, Proc. London Math. Soc. 24, 507–530.
Priestley, H. A., 1970, ‘Representation of distributive lattices by means of ordered Stone spaces’, Bull. London Math. Soc. 2, 186–190.
Sankappanavar, H. P., 1987, ‘Semi-DeMorgan algebras’, J. Symbolic Logic 52, 712–724.
Sankappanavar, H. P., 1985, ‘Distributive lattices with a dual endomorphism’, Zeitschr. f. math. Logik u. Grundlagen d. Math. 31, 385–392.
Sankappanavar, H. P., 1990, Demi-pseudocomplemented lattices: principal congruences and subdirect irreducibility’, Algebra Universalis 27, 180–193.
Sankappanavar, H.P., 1991, ‘Varieties of demi-pseudocomplemented lattices’, Zeitschr. f. math. Logik u. Grundlagen d. Math. 37, 411–420.
Author information
Authors and Affiliations
Additional information
Semi-deMorgan algebras include demi-p-lattices, the topic of H. Gaitan's contribution to this special edition. D. Hobby's results were obtained independently.
Rights and permissions
About this article
Cite this article
Hobby, D. Semi-DeMorgan algebras. Stud Logica 56, 151–183 (1996). https://doi.org/10.1007/BF00370145
Received:
Revised:
Issue Date:
DOI: https://doi.org/10.1007/BF00370145