A Proximity Approach to Some Region-Based Theories of Space

References

• BENNETT , B. , COHN , A. G. , TORRINI , P. and HAZARIKA , S. M. A Foundation for Region-Based Qualitative Geometry . Proceedings of ECAI-2000 . Edited by: HORN , W. pp. 204 – 208 .
   Google Scholar
• BENNETT , B. 2001 . A categorical axiomatisation of region-based geometry . Fundamenta Informaticæ , 46 ( 1–2 ) : 145 – 158 .
   Web of Science ®Google Scholar
• BIACINO , L. and GERLA , G. 1991 . Connection structures . Notre Dame Journal of Formal Logic , 32 : 242 – 247 .
   Google Scholar
• BIACINO , L. and GERLA , G. 1996 . Connection structures: Grzegorczyk's and Whitehead's definition of point . Notre Dame Journal of Formal Logic , 37 : 431 – 439 .
   Google Scholar
• Č ECH , E. 1966 . Topological Spaces , London : Interscience .
   Google Scholar
• CHOQUET , G. 1947 . “ Sur les notions de filtre et de grille ” . In Comptes-Rendus de l'Académie des Sciences Vol. 224 , 171 – 173 . Paris
   Google Scholar
• CLARKE , B. L. 1981 . A calculus of individuals based on ‘connection’ . Notre Dame Journal of Formal Logic , 22 : 204 – 218 .
   Google Scholar
• CLARKE , B. L. 1985 . Individuals and points . Notre Dame Journal of Formal Logic , 26 : 61 – 75 .
   Google Scholar
• COHN , A. and HAZARIKA , S. 2001 . Qualitative spatial representation and reasoning: An overview . Fundamenta Informaticæ , 46 : 1 – 29 .
   Web of Science ®Google Scholar
• DENEVA , A. and VAKARELOV , D. 1997 . Modal logics for local and global similarity relations . Fundamenta Informaticæ , 31 : 295 – 304 .
   Google Scholar
• DÜNTSCH , I. , WANG , H. and MCCLOSKEY , S. 1999 . Relation algebras in qualitative spatial reasoning . Fundamenta Mathematicæ , 39 : 229 – 248 .
   Google Scholar
• DÜNTSCH , I. , ORLOWSKA , E. and WANG , H. 2001 . Algebras of approximating regions . Fundamenta Informaticæ , 46 : 71 – 82 .
   Web of Science ®Google Scholar
• DÜNTSCH , I. , SCHMIDT , G. and WINTER , M. 2001 . A Necessary Relation Algebra for Mereotopology . Studia Logica , 69 : 381 – 409 .
   Google Scholar
• DÜNTSCH , I. , WANG , H. and MCCLOSKEY , S. 2001 . A relation algebraic approach to the Region Connection Calculus . Theoretical Computer Science , 255 ( 63–83 )
   Google Scholar
• EFREMOVIČ , V. 1951 . Infinitesimal spaces . DAN SSSR , 76 : 341 – 343 .
   Google Scholar
• EFREMOVIČ , V. 1952 . The geometry of proximity I . Mat Sbornik (New Series) , 31 : 189 – 200 . In Russian
   Google Scholar
• ENGELKING , R. 1977 . General Topology , Warszawa : PWN .
   Google Scholar
• GERLA , G. 1995 . “ Pointless geometries ” . In Handbook of Incidence Geometry , Edited by: BUEKENHOUT , F. 1015 – 1031 . Eselvier Science, B.V . chapter 18
   Google Scholar
• GRZEGORCZYK , A. 1960 . Axiomatization of geometry without points . Synthese , 12 : 228 – 235 .
   Google Scholar
• HAYES , P. J. 1984 . “ The second naive physics manifesto ” . In Formal Theories of the Commonsense World , Norwood , New Jersey : Ablex Publishing Corp .
   Google Scholar
• HU , S.-T. 1949 . Boundedness in a topological space . J. Math. Pures Appl. , 28 : 287 – 320 .
   Google Scholar
• KOPPELBERG , S. 1973 . Some classes of projective Boolean algebras . Math. Annalen , 201 : 283 – 300 .
   Web of Science ®Google Scholar
• KOPPELBERG , S. 1989 . “ General Theory of Boolean Algebras ” . In Handbook on Boolean Algebras Vol. 1 , North Holland
   Google Scholar
• DE LAGUNA, T. 1922 . Point, line and surface as sets of solids . The Journal of Philosophy , 19 : 449 – 461 .
   Google Scholar
• LEADER , S. 1967 . Local proximity spaces . Math. Annalen , 169 : 275 – 281 .
   Web of Science ®Google Scholar
• LEONARD , H. S. and GOODMAN , N. 1940 . The calculus of individuals and its uses . Journal of Symbolic Logic , 5 : 45 – 55 .
   Google Scholar
• LE ŚNIEWSKI , S. 1916 . Podstawy ogólnej teoryi mnogosci.I . Prace Polskiego Kola Naukowe w Moskwie, Sekcya matematycznoprzyrodnicza , 2
   Google Scholar
• MORMANN , T. 1998 . Continuous lattices and Whiteheadian theory of space . Logic and Logical Philosophy , 6 : 35 – 54 .
   Google Scholar
• NAIMPALLY , S. A. and WARRACK , B. D. 1970 . Proximity Spaces , Cambridge : Cambridge University Press .
   Google Scholar
• RANDELL , D. A. , COHN , A. G. and CUI , Z. 1992 . Computing transitivity tables: A challenge for automated theorem provers . Proceedings of the 11th International Conference on Automated Deduction (CADE-11) . June 1992 , Saratoga Springs , NY . Edited by: KAPUR , D. pp. 786 – 790 . Springer . vol. 607 of LNAI
   Google Scholar
• ROEPER , P. 1997 . Region-based topology . Journal of Philosophical Logic , 26 : 251 – 309 .
   Web of Science ®Google Scholar
• SIKORSKI , R. 1964 . Boolean Algebras , Berlin : Springer-Verlag .
   Google Scholar
• SMIRNOV , J. M. 1952 . On proximity spaces . Mat. Sb. , 31 : 543 – 574 . In Russian
   Google Scholar
• STELL , J. and WORBOYS , M. F. The algebraic structure of sets of regions . Proceedings of the 3rd International Conference on Spatial Information Theory (COSIT 97) . Edited by: HIRTLE , S. C. and FRANK , A. pp. 163 – 174 . Springer-Verlag . vol. 1329 of LNCS
   Google Scholar
• STELL , J. 2000 . Boolean connection algebras: A new approach to the Region Connection Calculus . Artificial Intelligence , 122 : 111 – 136 .
   Web of Science ®Google Scholar
• ŠWARTZ , A. S. 1956 . Proximity spaces and lattices . Ucen. Zap. Ivanovsk Gos. Ped. Inst. , 10 : 55 – 60 . In Russian
   Google Scholar
• TARSKI , A. 1927 . “ Les fondements de la géomètrie des corps ” . In First Polish Mathematical Congress, Lwø'w English translation in J. H. Woodger (Ed.) (1956) in: Logic, Semantics, Metamathematics, Clarendon Press
   Google Scholar
• THRON , W. J. 1973 . Proximity structures and grills . Math. Ann. , 206 : 35 – 62 .
   Web of Science ®Google Scholar
• VAKARELOV , D. 1997 . “ Information systems, similarity relations and modal logics ” . In Incomplete Information – Rough Set Analysis , Edited by: ORLOWSKA , E. 492 – 550 . Heidelberg : Physica- Verlag .
   Google Scholar
• VAKARELOV , D. 1997 . Proximity modal logics . Proceedings of the 11th Amsterdam Colloquium . December 1997 . pp. 301 – 308 .
   Google Scholar
• VAKARELOV , D. , DÜNTSCH , I. and BENNETT , B. A note on proximity spaces and connection based mereology . Proceedings of the 2nd International Conference on Formal Ontology in Information Systems (FOIS'01) . Edited by: WELTY , C. and SMITH , B. pp. 139 – 150 .
   Google Scholar
• VARZI , A. C. 1996 . Parts, wholes, and part–whole relations: The prospect of mereotopology . Data & Knowledge Engineering , 20 : 259 – 286 .
   Web of Science ®Google Scholar
• WHITEHEAD , A. N. 1929 . Process and reality , New York : MacMillan .
   Google Scholar