A discrete duality between apartness algebras and apartness frames

Apartness spaces were introduced as a constructive counterpart to proximity spaces which, in turn, aimed to model the concept of nearness of sets in a metric or topological environment. In this paper we introduce apartness algebras and apartness frames intended to be abstract counterparts to the apartness spaces of (Bridges et al., 2003), and we prove a discrete duality for them.

[1]  Ivo Düntsch,et al.  A Proximity Approach to Some Region-Based Theories of Space , 2002, J. Appl. Non Class. Logics.

[2]  Stéphane Demri,et al.  Incomplete Information: Structure, Inference, Complexity , 2002, Monographs in Theoretical Computer Science An EATCS Series.

[3]  M. Beeson.  Foundations of Constructive Mathematics , 1985 .

[4]  Ewa Orlowska,et al.  Discrete Duality and Its Applications to Reasoning with Incomplete Information , 2007, RSEISP.

[5]  A. Tarski,et al.  Boolean Algebras with Operators , 1952 .

[6]  Ivo Düntsch,et al.  Beyond modalities: sufficiency and mixed algebras , 2001 .

[7]  Ivo Düntsch,et al.  Region–based theory of discrete spaces: A proximity approach , 2007, Annals of Mathematics and Artificial Intelligence.

[8]  Douglas S. Bridges,et al.  Apartness spaces as a framework for constructive topology , 2003, Ann. Pure Appl. Log..

[9]  Hilary A. Priestley,et al.  Ordered Topological Spaces and the Representation of Distributive Lattices , 1972 .

[10]  Ewa Orlowska,et al.  Duality via Truth: Semantic frameworks for lattice-based logics , 2005, Log. J. IGPL.

[11]  A. Tarski,et al.  Boolean Algebras with Operators. Part I , 1951 .

[12]  Luminita Vîta.  On Complements of Sets and the Efremovic Condition in Pre-apartness Spaces , 2005, J. Univers. Comput. Sci..

[13]  Peter Schuster,et al.  Quasi-apartness and neighbourhood spaces , 2006, Ann. Pure Appl. Log..

[14]  Ivo Düntsch,et al.  Relational Semantics Through Duality , 2005, RelMiCS.