Journal of Formalized Mathematics
Volume 6, 1994
University of Bialystok
Copyright (c) 1994
Association of Mizar Users
Boolean Properties of Lattices
-
Agnieszka Julia Marasik
-
Warsaw University, Bialystok
The terminology and notation used in this paper have been
introduced in the following articles
[1]
-
General lattice
-
Modular lattice
-
Distributive lattice
-
Distributive lower bounded lattice
-
Boolean lattice
Bibliography
- [1]
Stanislaw Zukowski.
Introduction to lattice theory.
Journal of Formalized Mathematics,
1, 1989.
Received March 28, 1994
[
Download a postscript version,
MML identifier index,
Mizar home page]