Region-based theory of space: algebras of regions, representation theory, and logics

D Vakarelov - Mathematical problems from applied logic II: Logics for …, 2007 - Springer
In this paper, we present recent results in the region-based theory of space that concern
algebras of regions, the corresponding topological and discrete models, and representation …

[PDF][PDF] Modal logics for region-based theories of space

P Balbiani, T Tinchev, D Vakarelov - Fundamenta Informaticae, 2007 - researchgate.net
Modal Logics for Region-based Theories of Space Introduction Page 1 Fundamenta Informaticae
81 (2007) 29–82 29 IOS Press Modal Logics for Region-based Theories of Space Philippe …

Irreducible equivalence relations, Gleason spaces, and de Vries duality

G Bezhanishvili, N Bezhanishvili, S Sourabh… - Applied Categorical …, 2017 - Springer
By de Vries duality, the category of compact Hausdorff spaces is dually equivalent to the
category of de Vries algebras (complete Boolean algebras endowed with a proximity-like …

Region-based theories of space: Mereotopology and beyond

T Hahmann, M Grüninger - Qualitative spatio-temporal …, 2012 - igi-global.com
This chapter focuses on the topological and mereological relations, contact, and parthood,
between spatio-temporal regions as axiomatized in so-called mereotopologies. Despite, or …

A calculus of regions respecting both measure and topology

T Lando, D Scott - Journal of Philosophical Logic, 2019 - Springer
Say that space is 'gunky'if every part of space has a proper part. Traditional theories of gunk,
dating back to the work of Whitehead in the early part of last century, modeled space in the …

Slanted canonicity of analytic inductive inequalities

L De Rudder, A Palmigiano - ACM Transactions on Computational Logic …, 2021 - dl.acm.org
We prove an algebraic canonicity theorem for normal LE-logics of arbitrary signature, in a
generalized setting in which the non-lattice connectives are interpreted as operations …

[HTML][HTML] A generalization of de Vries duality to closed relations between compact Hausdorff spaces

M Abbadini, G Bezhanishvili, L Carai - Topology and its Applications, 2023 - Elsevier
Stone duality generalizes to an equivalence between the categories Stone R of Stone
spaces and closed relations and BA S of boolean algebras and subordination relations …

Obligations and permissions, algebraically

A De Domenico, A Farjami, K Manoorkar… - arXiv preprint arXiv …, 2024 - arxiv.org
We further develop the algebraic approach to input/output logic initiated in\cite {wollic22},
where subordination algebras and a family of their generalizations were proposed as a …

[PDF][PDF] MACNEILLE COMPLETIONS OF SUBORDINATION ALGEBRAS.

M Abbadini, G Bezhanishvili, L Carai - Cahiers de Topologie et …, 2024 - cahierstgdc.com
M. ABBADINI, ET AL. SUBORDINATION ALGEBRAS alence between SubS5S and its full
subcategory consisting of de Vries algebras. We also show that the functor that associates to …

[PDF][PDF] Precontact relations and quasi-modal operators in Boolean algebras

S Celani - Actas del XIII congreso Dr. Antonio AR Monteiro, 2016 - researchgate.net
In Boolean algebras the notion of quasi-modal operator is equivalent to the notion of
precontact relation. This equivalence offers a new perspective to study the representation of …