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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Biacino, L., Gerla, G.: Connection Structures. Notre Dame Journal of Formal Logic 32, 242–247 (1991)
Clarke, B.L.: A calculus of individuals based on ‘connenction’. Notre Dame Journal of Formal Logic 22, 204–218 (1981)
Düntsch, I., Winter, M.: Finite Contact Structure. In: MacCaull, W., Winter, M., Düntsch, I. (eds.) RelMiCS 2005. LNCS, vol. 3929. Springer, Heidelberg (2006)
Freyd, P., Scedrov, A.: Categories, Allegories. North-Holland, Amsterdam (1990)
Furusawa, H.: Algebraic Formalisations of Fuzzy Relations and their Representation Theorems. Ph.D-Thesis, Department of Informatics, Kyushu University, Japan (1998)
Goguen, J.A.: L-fuzzy sets. J. Math. Anal. Appl. 18, 145–157 (1967)
Kawahara, Y., Furusawa, H.: Crispness and Representation Theorems in Dedekind Categories. DOI-TR 143, Kyushu University (1997)
Kawahara, Y., Furusawa, H.: An Algebraic Formalization of Fuzzy Relations. Fuzzy Sets and Systems 101, 125–135 (1999)
Leonard, H.S., Goodman, N.: The calculus of individuals and its use. Journal of Symbolic Logic 5, 45–55 (1940)
Olivier, J.P., Serrato, D.: Catégories de Dedekind. Morphismes dans les Catégories de Schröder. C.R. Acad. Sci. Paris 290, 939–941 (1980)
Olivier, J.P., Serrato, D.: Squares and Rectangles in Relational Categories - Three Cases: Semilattice, Distributive lattice and Boolean Non-unitary. Fuzzy sets and systems 72, 167–178 (1995)
Randell, D.A., Cohn, A.G., Cui, Z.: Computing transitivity tables: A challenge for automated theorem provers. In: Kapur, D. (ed.) CADE 1992. LNCS (LNAI), vol. 607, pp. 786–790. Springer, Heidelberg (1992)
Schmidt, G., Ströhlein, T.: Relationen und Graphen. Springer, Heidelberg (1989); English version: Relations and Graphs. Discrete Mathematics for Computer Scientists, EATCS Monographs on Theoret. Comput. Sci. Springer, Heidelberg (1993)
Schmidt, G., Hattensperger, C., Winter, M.: Heterogeneous Relation Algebras. In: Brink, C., Kahl, W., Schmidt, G. (eds.) Relational Methods in Computer Science. Advances in Computer Science. Springer, Vienna (1997)
Stell, J.: Boolean connection algebras: A new approach to the Region Connection Calculus. Artificial Intelligence 122, 111–136 (2000)
Winter, M.: Strukturtheorie heterogener Relationenalgebren mit Anwendung auf Nichtdetermismus in Programmiersprachen. Dissertationsverlag NG Kopierladen GmbH, München (1998)
Winter, M.: A new Algebraic Approach to L-Fuzzy Relations convenient to study Crispness. Information Sciences 139, 233–252 (2001)
Winter, M.: Derived Operations in Goguen Categories. Theory and Applications of Categories 10, 220–247 (2002)
Winter, M.: Relational Constructions in Goguen Categories. In: de Swart, H. (ed.) RelMiCS 2001. LNCS, vol. 2561, pp. 212–227. Springer, Heidelberg (2002)
Winter, M.: Representation Theory of Goguen Categories. Fuzzy Sets and Systems 138, 85–126 (2003)
Zadeh, L.A.: Fuzzy sets. Information and Control 8, 338–353 (1965)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Winter, M. (2006). Time-Dependent Contact Structures in Goguen Categories. In: MacCaull, W., Winter, M., Düntsch, I. (eds) Relational Methods in Computer Science. RelMiCS 2005. Lecture Notes in Computer Science, vol 3929. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11734673_20
Download citation
DOI: https://doi.org/10.1007/11734673_20
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-33339-5
Online ISBN: 978-3-540-33340-1
eBook Packages: Computer ScienceComputer Science (R0)