Relational Representation Theorems for Extended Contact Algebras - Archive ouverte HAL
Article Dans Une Revue Studia Logica Année : 2020

Relational Representation Theorems for Extended Contact Algebras

Résumé

In topological spaces, the relation of extended contact is a ternary relation that holds between regular closed subsets A, B and D if the intersection of A and B is included in D. The algebraic counterpart of this mereotopological relation is the notion of extended contact algebra which is a Boolean algebra extended with a ternary relation. In this paper, we are interested in the relational representation theory for extended contact algebras. In this respect, we study the correspondences between point-free and point-based models of space in terms of extended contact. More precisely, we prove new representation theorems for extended contact algebras.
Fichier principal
Vignette du fichier
ECAs_ECLs_14.pdf (230.61 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03762140 , version 1 (11-09-2020)
hal-03762140 , version 2 (26-08-2022)

Identifiants

Citer

Philippe Balbiani, Tatyana Ivanova. Relational Representation Theorems for Extended Contact Algebras. Studia Logica, 2020, 109, pp.701-723. ⟨10.1007/s11225-020-09923-0⟩. ⟨hal-03762140v2⟩
82 Consultations
86 Téléchargements

Altmetric

Partager

More