Journal of Applied Non-Classical Logics 18 (2-3):213-227 (2008)

Authors
Ewa Orlowska
Institute of Telecommunications and Information Technology
Abstract
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, and we prove a discrete duality for them.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
ISBN(s)
DOI 10.3166/JANCL.18.213-227
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 64,231
Through your library

References found in this work BETA

Apartness Spaces as a Framework for Constructive Topology.Douglas Bridges & Luminiţa Vîţă - 2003 - Annals of Pure and Applied Logic 119 (1-3):61-83.
Distributive Lattices.Raymond Balbes & Philip Dwinger - 1977 - Journal of Symbolic Logic 42 (4):587-588.
Apartness Spaces as a Framework for Constructive Topology.Douglas Bridges & Luminia Vî - 2003 - Annals of Pure and Applied Logic 119 (1-3):61-83.
Quasi-Apartness and Neighbourhood Spaces.Hajime Ishihara, Ray Mines, Peter Schuster & Luminiţa Vîţă - 2006 - Annals of Pure and Applied Logic 141 (1):296-306.

View all 7 references / Add more references

Citations of this work BETA

Duality Results for (Co)Residuated Lattices.Chrysafis Hartonas - 2019 - Logica Universalis 13 (1):77-99.

Add more citations

Similar books and articles

Semigroups with Apartness.Siniša Crvenković, Melanija Mitrović & Daniel Abraham Romano - 2013 - Mathematical Logic Quarterly 59 (6):407-414.
Compactness Notions for an Apartness Space.Douglas S. Bridges - 2012 - Archive for Mathematical Logic 51 (5-6):517-534.
Product a-Frames and Proximity.Douglas S. Bridges - 2008 - Mathematical Logic Quarterly 54 (1):12-26.
General Frames for Relevant Modal Logics.Takahiro Seki - 2003 - Notre Dame Journal of Formal Logic 44 (2):93-109.
Almost New Pre-Apartness From Old.Douglas S. Bridges - 2012 - Annals of Pure and Applied Logic 163 (8):1009-1015.
Two Subcategories of Apartness Spaces.Hajime Ishihara - 2012 - Annals of Pure and Applied Logic 163 (2):132-139.

Analytics

Added to PP index
2013-12-29

Total views
55 ( #195,664 of 2,455,388 )

Recent downloads (6 months)
1 ( #449,037 of 2,455,388 )

How can I increase my downloads?

Downloads

My notes