Relations and graphs: discrete mathematics for computer scientists
Relations and graphs: discrete mathematics for computer scientists
Fuzzy Sets and Systems - Special issue on fuzzy relations, part 1
Heterogeneous relation algebra
Relational methods in computer science
An algebraic formalization of fuzzy relations
Fuzzy Sets and Systems
Relational Constructions in Goguen Categories
ReIMICS '01 Revised Papers from the 6th International Conference and 1st Workshop of COST Action 274 TARSKI on Relational Methods in Computer Science
Fuzzy Sets and Systems
Relational attribute systems II: reasoning with relations in information structures
Transactions on rough sets VII
Relation algebraic approaches to fuzzy relations
RAMICS'11 Proceedings of the 12th international conference on Relational and algebraic methods in computer science
Time-Dependent contact structures in goguen categories
RelMiCS'05 Proceedings of the 8th international conference on Relational Methods in Computer Science, Proceedings of the 3rd international conference on Applications of Kleene Algebra
Hi-index | 0.21 |
Goguen categories constitute a suitable algebraic formalisation for L-fuzzy relations. It is well-known that an L-fuzzy relation may be represented by the set of all its α-cuts. The aim of this paper is to show a similar result for Goguen categories. Furthermore, given an algebraic structure of relations, a Dedekind category R, and a complete Brouwerian lattice L, the idea above allows us to define a Goguen category G such that the underlying structures are R and L. Using our pseudo-representation theorem we show that the representation theory of Goguen categories is equivalent to the representation theory of simple Dedekind categories. This result allows us to transfer known representation results for Dedekind categories to the theory of Goguen categories.