Relational representation theorems for extended contact algebras - Archive ouverte HAL
Article Dans Une Revue Studia Logica Année : 2021

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_21.pdf (292.8 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

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, 2021, 109, pp.701-723. ⟨10.1007/s11225-020-09923-0⟩. ⟨hal-03762140v1⟩
82 Consultations
86 Téléchargements

Altmetric

Partager

More