Journal of Formalized Mathematics
Volume 9, 1997
University of Bialystok
Copyright (c) 1997 Association of Mizar Users

Lattice of Substitutions


Adam Grabowski
Warsaw University, Bialystok

MML Identifier: SUBSTLAT

The terminology and notation used in this paper have been introduced in the following articles [5] [7] [4] [6] [1] [8] [2] [3] [10] [9]

Contents (PDF format)

  1. Preliminaries
  2. Definition of the lattice

Bibliography

[1] Czeslaw Bylinski. Binary operations. Journal of Formalized Mathematics, 1, 1989.
[2] Czeslaw Bylinski. Functions and their basic properties. Journal of Formalized Mathematics, 1, 1989.
[3] Czeslaw Bylinski. Partial functions. Journal of Formalized Mathematics, 1, 1989.
[4] Agata Darmochwal. Finite sets. Journal of Formalized Mathematics, 1, 1989.
[5] Andrzej Trybulec. Tarski Grothendieck set theory. Journal of Formalized Mathematics, Axiomatics, 1989.
[6] Andrzej Trybulec and Agata Darmochwal. Boolean domains. Journal of Formalized Mathematics, 1, 1989.
[7] Zinaida Trybulec. Properties of subsets. Journal of Formalized Mathematics, 1, 1989.
[8] Edmund Woronowicz. Relations and their basic properties. Journal of Formalized Mathematics, 1, 1989.
[9] Edmund Woronowicz. Relations defined on sets. Journal of Formalized Mathematics, 1, 1989.
[10] Stanislaw Zukowski. Introduction to lattice theory. Journal of Formalized Mathematics, 1, 1989.

Received May 21, 1997

[ Download a postscript version, MML identifier index, Mizar home page]