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

MML Identifier: LFUZZY_1

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]

Contents (PDF format)

  1. Inclusion of Fuzzy Sets
  2. Properties of Fuzzy Relations
  3. Transitive Closure

Received November 23, 2003


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