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

MML Identifier: BOOLEALG

The terminology and notation used in this paper have been introduced in the following articles [1]

Contents (PDF format)

  1. General lattice
  2. Modular lattice
  3. Distributive lattice
  4. Distributive lower bounded lattice
  5. Boolean lattice


[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]