Extended Contact Algebras: Algebraic analysis and duality theory
Fuente:
arXiv
Saved in:
| Main Authors: | , , |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866912730629275648 |
|---|---|
| author | Gruszczyński, Rafał Menchón, Paula Zuluaga, William |
| author_facet | Gruszczyński, Rafał Menchón, Paula Zuluaga, William |
| contents | The ternary extended contact relation was introduced in (Ivanova, 2020) as a more expressive counterpart of the standard binary contact relation. The class of Boolean algebras expanded with the relation was named Extended Contact Algebras (ECAs). In this work, we take an algebraic perspective on ECAs, interpreting the ternary relation as a form of entailment. We introduce Pseudo-Inference Algebras, purely algebraic tructures where the ternary relation is replaced by a monotone ternary operator, capturing the logical character of extended contact. We show that the subclass of relational Pseudo-Inference Algebras corresponds precisely to ECAs and generates a subvariety of strict PSI-Algebras, which forms a discriminator variety. Furthermore, we extend Stone duality to this ternary context, introducing descriptive PSI-frames and establishing three interrelated dualities that differ in their morphisms while sharing the same class of topological objects. The framework developed in the paper provides a nified relational semantics for Boolean algebras equipped with monotone ternary operators, connecting spatial and logical notions within a categorical and topological setting. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2511_21396 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Extended Contact Algebras: Algebraic analysis and duality theory Gruszczyński, Rafał Menchón, Paula Zuluaga, William Logic Category Theory 06E25, 03G05 The ternary extended contact relation was introduced in (Ivanova, 2020) as a more expressive counterpart of the standard binary contact relation. The class of Boolean algebras expanded with the relation was named Extended Contact Algebras (ECAs). In this work, we take an algebraic perspective on ECAs, interpreting the ternary relation as a form of entailment. We introduce Pseudo-Inference Algebras, purely algebraic tructures where the ternary relation is replaced by a monotone ternary operator, capturing the logical character of extended contact. We show that the subclass of relational Pseudo-Inference Algebras corresponds precisely to ECAs and generates a subvariety of strict PSI-Algebras, which forms a discriminator variety. Furthermore, we extend Stone duality to this ternary context, introducing descriptive PSI-frames and establishing three interrelated dualities that differ in their morphisms while sharing the same class of topological objects. The framework developed in the paper provides a nified relational semantics for Boolean algebras equipped with monotone ternary operators, connecting spatial and logical notions within a categorical and topological setting. |
| title | Extended Contact Algebras: Algebraic analysis and duality theory |
| topic | Logic Category Theory 06E25, 03G05 |
| url | https://arxiv.org/abs/2511.21396 |