Journal of Formalized Mathematics
Volume 1, 1989
University of Bialystok
Copyright (c) 1989
Association of Mizar Users
Boolean Properties of Sets
-
Zinaida Trybulec
-
Warsaw University,
Bialystok
-
Halina Swieczkowska
-
Warsaw University,
Bialystok
Summary.
-
The text includes a number of theorems about
Boolean operations on sets: union, intersection,
difference, symmetric difference; and relations
on sets: meets (having non-empty intersection),
misses (being disjoint) and subset (inclusion).
Supported by RPBP.III-24.C1.
{\it Editor's Note:} This work has won the 1990 Le\'sniewski's Award
of the Mizar Society.
MML Identifier:
BOOLE
The terminology and notation used in this paper have been
introduced in the following articles
[1]
-
Main Part
-
Addendum
Bibliography
- [1]
Andrzej Trybulec.
Tarski Grothendieck set theory.
Journal of Formalized Mathematics,
Axiomatics, 1989.
Received January 6, 1989
[
Download a postscript version,
MML identifier index,
Mizar home page]
jfmedit@mizar.uwb.edu.pl