Results 1 
6 of
6
Categorical Representation Theorems of Fuzzy Relations
 Proceedings of 4th International Workshop on Rough Sets, Fuzzy Sets, and Machine Discovery (RSFD 96) 190197
, 1996
"... This paper provides a notion of Zadeh categories as a categorical structure formed by fuzzy relations with supmin composition, and proves two representation theorems for Dedekind categories (relation categories) with a unit object analogous to onepoint set, and for Zadeh categories without unit ob ..."
Abstract

Cited by 6 (6 self)
 Add to MetaCart
This paper provides a notion of Zadeh categories as a categorical structure formed by fuzzy relations with supmin composition, and proves two representation theorems for Dedekind categories (relation categories) with a unit object analogous to onepoint set, and for Zadeh categories without unit objects. Keywords: fuzzy relations, relation algebras, representation theorem, Dedekind categories, Zadeh category. 1 Introduction Since Zadeh's invention the concept of fuzzy sets has been extensively investigated in mathematics, science and engineering. The notion of fuzzy relations is also a basic one in processing fuzzy information in relational structures, see e.g. Pedrycz [10]. Goguen [2] generalized the concepts of fuzzy sets and relations taking values on partially ordered sets. Fuzzy relational equations were initiated and applied to medical models of diagnosis by Sanchez [12]. On the other hand theory of relations, namely relational calculus, has a long history, see [8, 13, 14] for...
Crispness in Dedekind Categories
"... . This paper studies notions of scalar relations and crispness of relations. 1 Introduction Just after Zadeh's invention of the concept of fuzzy sets [19], Goguen [5] generalized the concepts of fuzzy sets and relations to taking values on arbitrary lattices. On the other hand, the theory of ..."
Abstract

Cited by 3 (2 self)
 Add to MetaCart
. This paper studies notions of scalar relations and crispness of relations. 1 Introduction Just after Zadeh's invention of the concept of fuzzy sets [19], Goguen [5] generalized the concepts of fuzzy sets and relations to taking values on arbitrary lattices. On the other hand, the theory of relations, namely relational calculus, has been investigated since the middle of the nineteen century, see [13, 16, 17] for more details. Almost all modern formalisations of relation algebras are affected by the work of Tarski [18]. Mac Lane [12] and Puppe [15] exposed a categorical basis for the calculus of additive relations. Freyd and Scedrov [2] developed and summarized categorical relational calculus, which they called allegories. In relational calculus one calculates with relations in an elementfree style, which makes relational calculus a very useful framework for the study of mathematics [8] and theoretical computer science [1, 7, 11] and also a useful tool for applications. Some element...
A Representation Theorem for Relation Algebras: Concepts of Scalar Relations and Point Relations
 BULLETIN OF INFORMATICS AND CYBERNETICS 30
, 1997
"... This paper provides a proof of a representation theorem for homogeneous relation algebras by using concepts of scalar relations and point relations. ..."
Abstract

Cited by 3 (3 self)
 Add to MetaCart
This paper provides a proof of a representation theorem for homogeneous relation algebras by using concepts of scalar relations and point relations.
Algebraic Formalisations of Fuzzy Relations and Their Representation Theorems
, 1998
"... The aim of this thesis is to develop the fuzzy relational calculus. To develop this calculus, we study four algebraic formalisations of fuzzy relations which are called fuzzy relation algebras, Zadeh categories, relation algebras and Dedekind categories, and we strive to arrive at their representati ..."
Abstract

Cited by 2 (1 self)
 Add to MetaCart
The aim of this thesis is to develop the fuzzy relational calculus. To develop this calculus, we study four algebraic formalisations of fuzzy relations which are called fuzzy relation algebras, Zadeh categories, relation algebras and Dedekind categories, and we strive to arrive at their representation theorems. The calculus of relations has been investigated since the middle of the nineteenth century. The modern algebraic study of (binary) relations, namely relational calculus, was begun by Tarski. The categorical approach to relational calculus was initiated by Mac Lane and Puppe, and Dedekind categories were introduced by Olivier and Serrato. The representation problem for Boolean relation algebras was proposed by Tarski as the question whether every Boolean relation algebra is isomorphic to an algebra of ordinary homogeneous relations. There are many sufficient conditions that guarantee representability for Boolean relation algebras. Schmidt and Strohlein gave a simple proof of the...
Groups in Allegories
"... Groups are one of the most fundamental notions in mathematics. This paper provides a foundation of group theory in allegories. Almost all results in the paper can be applied to theory of fuzzy groups. ..."
Abstract
 Add to MetaCart
Groups are one of the most fundamental notions in mathematics. This paper provides a foundation of group theory in allegories. Almost all results in the paper can be applied to theory of fuzzy groups.
Crispness and Representation Theorem in Dedekind Categories
, 1997
"... This paper studies notions of scalar relations and crispness of relations. ..."
Abstract
 Add to MetaCart
This paper studies notions of scalar relations and crispness of relations.