Journal of Formalized Mathematics
Volume 15, 2003
University of Bialystok
Copyright (c) 2003
Association of Mizar Users
Transitive Closure of Fuzzy Relations
-
Takashi Mitsuishi
-
Miyagi University
-
Grzegorz Bancerek
-
Bialystok Technical University
This work has been partially supported by Polish Academy of
Sciences
and Japan Society for the Promotion of Science when the first author was
visiting Bia{\l}ystok Technical University as postdoctoral fellow
The terminology and notation used in this paper have been
introduced in the following articles
[0]
[0]
[0]
[0]
[0]
[0]
[0]
[0]
[0]
[0]
[0]
[0]
[0]
[0]
[0]
[0]
[0]
[0]
[0]
[0]
[0]
[0]
[0]
[0]
[0]
[0]
[0]
-
Inclusion of Fuzzy Sets
-
Properties of Fuzzy Relations
-
Transitive Closure
Received November 23, 2003
[
Download a postscript version,
MML identifier index,
Mizar home page]