Time-Dependent contact structures in goguen categories

Authors:
Michael Winter
Affiliations:
Department of Computer Science, Brock University, St.Catharines, Ontario, Canada
Venue:
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
Year:
2005

Citing 8
Cited 0

Relations and graphs: discrete mathematics for computer scientists

Relations and graphs: discrete mathematics for computer scientists
Squares and rectangles in relation categories. Three cases: semilattice, distributive lattice and Boolean non-unitary

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
Boolean connection algebras: a new approach to the Region-Connection Calculus

Artificial Intelligence
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
Computing Transivity Tables: A Challenge For Automated Theorem Provers

CADE-11 Proceedings of the 11th International Conference on Automated Deduction: Automated Deduction
Representation theory of Goguen categories

Fuzzy Sets and Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this paper we focus on a theory of time-extended contact. It turns out that a suitable theory can be defined using an $\mathcal{L}$-valued or $\mathcal{L}$-fuzzy version of a contact relation. We study this structure in the context of Goguen categories – a suitable categorical formalization of $\mathcal{L}$-valued or $\mathcal{L}$-fuzzy relations.