当前位置: X-MOL 学术Stud. Log. › 论文详情
Our official English website, www.x-mol.net, welcomes your feedback! (Note: you will need to create a separate account there.)
Relational Representation Theorems for Extended Contact Algebras
Studia Logica ( IF 0.6 ) Pub Date : 2020-09-17 , DOI: 10.1007/s11225-020-09923-0
Philippe Balbiani , Tatyana Ivanova

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.

中文翻译:

扩展接触代数的关系表示定理

在拓扑空间中,如果 A 和 B 的交集包含在 D 中,则扩展接触的关系是在规则闭合子集 A、B 和 D 之间成立的三元关系。这种分体拓扑关系的代数对应物是扩展接触代数的概念这是一个用三元关系扩展的布尔代数。在本文中,我们对扩展接触代数的关系表示理论感兴趣。在这方面,我们在扩展接触方面研究了无点和基于点的空间模型之间的对应关系。更准确地说,我们证明了扩展接触代数的新表示定理。
更新日期:2020-09-17
down
wechat
bug