An algebraic formalization of fuzzy relations

Abstract This paper provides an algebraic formalization of mathematical structures formed by fuzzy relations with sup-min composition. A simple proof of a representation theorem for Boolean relation algebras satisfying Tarski rule and point axiom has been given by Schmidt and Strohlein. Unlike Boolean relation algebras, fuzzy relation algebras are not Boolean but equipped with semi-scalar multiplication. First, we present a set of axioms for fuzzy relation algebras and improve the definition of point relations. Then by using relational calculus, a representation theorem for such relation algebras is deduced without Tarski rule.

[1]  Gunther Schmidt,et al.  Relations and Graphs: Discrete Mathematics for Computer Scientists , 1993 .

[2]  Andre Scedrov,et al.  Categories, allegories , 1990, North-Holland mathematical library.

[3]  Yasuo Kawahara Pushout-Complements and Basic Concepts of Grammars in Toposes , 1990, Theor. Comput. Sci..

[4]  J. Goguen L-fuzzy sets , 1967 .

[5]  Dieter Puppe,et al.  Korrespondenzen in abelschen Kategorien , 1962 .

[6]  Donald Yau,et al.  Categories , 2021, 2-Dimensional Categories.

[7]  Yasuo Kawahara,et al.  Relational Structures and Their Partial Morphisms in View of Single Pushout Rewriting , 1993, Dagstuhl Seminar on Graph Transformations in Computer Science.

[8]  Yasuo Kawahara Relational Set Theory , 1995, Category Theory and Computer Science.

[9]  Alfred Tarski,et al.  Relational selves as self-affirmational resources , 2008 .

[10]  Roger D. Maddux,et al.  The origin of relation algebras in the development and axiomatization of the calculus of relations , 1991, Stud Logica.

[11]  Yasuo Kawahara,et al.  Categorical Assertion Semantics in Toposes , 1993 .

[12]  S Mac Lane,et al.  AN ALGEBRA OF ADDITIVE RELATIONS. , 1961, Proceedings of the National Academy of Sciences of the United States of America.

[13]  W. Pedrycz Processing in relational structures: fuzzy relational equations , 1991 .

[14]  Elie Sanchez,et al.  Resolution of Composite Fuzzy Relation Equations , 1976, Inf. Control..

[15]  Gunther Schmidt,et al.  Relation algebras: Concept of points and representability , 1985, Discret. Math..