Abstract
The concept of dense and closed elements is extended to arbitrary implicative semi-lattices. It is shown that the Glivenko theorem does not hold in general. However every implicative semi-lattice can be embedded in a dense-closed preserving manner in a bounded implicative semi-lattice in which, of course, the Glivenko theorem holds.
Similar content being viewed by others
References
Garrett Birkhoff,Lattice Theory, 3rd edition, J. Amer. Math. Soc., Providence, R. I., 1967.
W. C. Nemitz,Implicative semi-lattices, Trans. Amer. Math. Soc.117 (1965), 128–142.
W. C. Nemitz,On the lattice of filters of an implicative semi-lattice, J. Math. Mech.28 (1969), 683–688.
W. C. Nemitz,Implicative homomorphisms with finite ranges, Proc. Amer. Math. Soc.33 (1972), 319–322.
W. C. Nemitz and T. Whaley,Varieties of implicative semi-lattices, Pacific J. Math.37 (1971), 759–769.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Eastham, J., Nemitz, W. Density and closure in implicative semi-lattices. Algebra Universalis 5, 1–7 (1975). https://doi.org/10.1007/BF02485225
Accepted:
Issue Date:
DOI: https://doi.org/10.1007/BF02485225