Mereotopology in 2nd-Order and Modal Extensions of Intuitionistic Propositional Logic

References

• BALBIANI , P. , FARIÑA DEL CERRO , L. , TINCHEV , T. and VAKARELOV , D. 1997 . Modal Logics for Incidence Geometries . Journal of Logic and Computation , 7 ( 1 ) : 59 – 78 .
   Web of Science ®Google Scholar
• BARENDREGT , H. 1992 . “ Lambda Calculi with Types ” . In Handbook of Logic in Computer Science , Edited by: ABRAMSKY , S. , GABBAY , D. and MAIBAUM , T. Vol. 2 , 117 – 309 . Oxford : Clarendon Press .
   Google Scholar
• BENNETT , B. 1996 . Modal Logics for Qualitative Spatial Reasoning . Bulletin of the Interest Group in Pure and Applied Logic (IGPL) , 4 ( 1 ) : 23 – 45 .
   Google Scholar
• BENNETT , B. 1998 . Determining Consistency of Topological Relations . Constraints , 3 ( 2&3 ) : 213 – 225 .
   Google Scholar
• CLARKE , B. L. 1981 . A calculus of individuals based on ‘connection' . Notre Dame Journal of Formal Logic , 23 ( 3 ) : 204 – 218 .
   Google Scholar
• COHN , A. G. , BENNETT , B. , GOODAY , J. and GOTTS , N. 1997 . Qualitative Spatial Representation and Reasoning with the Region Connection Calculus . GeoInformatica , 1 : 275 – 316 .
   Google Scholar
• FOURMAN , M. P. and SCOTT , D. 1979 . “ Sheaves and logic ” . In Springer Lecture Notes in Mathematics No. 753 , 302 – 402 . Springer Verlag .
   Google Scholar
• GABBAY , D. 1974 . On 2-nd order intuitionistic propositional calculus with full comprehension . Arch.f.Math.Log.u.Grund.Math. , 16 : 177 – 186 .
   Google Scholar
• GABBAY , D. 1981 . Semantical Investigation in Heyting intuitionistic logic , Reidel . Num. 148 Synthese
   Google Scholar
• GERLA , G. 1995 . “ Pointless Geometries ” . In Handbook of Incidence Geometry Edited by: BUEKENHOUT , F. 1015 – 1031 .
   Google Scholar
• GOERNEMANN , S. 1971 . A logic stronger than intuitionism . Journal of Symbolic Logic , 36 : 249 – 261 .
   Web of Science ®Google Scholar
• KOPPERMAN , R. 1992 . “ The Khalimsky line as a foundation for digital topology ” . In Shape in picture , Edited by: YINGLIE , O. , TOET , A. , FOSTER , D. , HEIJMANS , H. and MEER , P. 3 – 20 . Springer-Verlag .
   Google Scholar
• KOVALEVSKY , V. 1992 . “ Topological foundations of shape analysis ” . In Shape in picture , Edited by: YING-LIE , O. , TOET , A. , FOSTER , D. , HEIJMANS , H. and MEER , P. 21 – 37 . Springer-Verlag .
   Google Scholar
• KREMER , P. 1997 . On the complexity of propositional quantification in intuitionistic logic . Journal of Symbolic Logic , 62 ( 2 ) : 529 – 544 .
   Web of Science ®Google Scholar
• LEMON , O. Semantical foundations of spatial logic . Principles of Knowledge Representation and Reasoning: Proceedings of the 6th International Conference (KR-96) . Edited by: AIELLO , L. , DOYLE , J. and SHAPIRO , S. pp. 212 – 219 . Morgan Kaufman .
   Google Scholar
• LEMON , O. and PRATT , I. 1996 . “ On the incompleteness of modal logics of space: advancing complete modal logics of place ” . In Advances in Modal Logic '96 Edited by: KRACHT , M. , DE RIJKE , M. and ZAKHARYASCHEV , M.
   Google Scholar
• LEŚNIEWSKI , S. O podstawach matematyki . Przeglad Filozoficzny , 30-34 1927 – 1931 .
   Google Scholar
• LOEB , M. H. 1976 . Embedding first order predicate logic in fragment of intuitionistic logic . Journal of Symbolic Logic , 41 : 705 – 718 .
   Web of Science ®Google Scholar
• MCKINSEY , J. and TARSKI , A. 1944 . The Algebra of Topology . Annals of Methematics , 45 : 141 – 191 .
   Google Scholar
• MORMANN , T. 1998 . Continuous lattices and Whiteheadian theory of space . Logic and Logical Philosophy , 6 : 35 – 54 .
   Google Scholar
• PITTS , A. 1992 . On an interpretation of second-order quantification in first-order intuitionistic logic . Journal of Symbolic Logic , 57 ( 1 ) : 33 – 52 .
   Web of Science ®Google Scholar
• PRAWITZ , D. 1965 . Natural Deduction: A Proof-Theoretical Study , Almqvist and Wiksell .
   Google Scholar
• PRATT , I. and LEMON , O. 1997 . Ontologies for plane, polygonal merotopology . Notre Dame Journal of Formal logic , 38 ( 2 ) : 225 – 245 .
   Google Scholar
• PRATT , I. and SCHOOP , D. 1998 . A complete axiom system for polygonal mereotopology of the real plane . Journal of Philosophical Logic , 27 : 621 – 658 .
   Web of Science ®Google Scholar
• RANDELL , D. A. , CUI , Z. and COHN , A. G. A Spatial Logic Based on Regions and Connection . Proc. 3rd Int. Conf. on Knowledge Representation and Reasoning . pp. 165 – 176 . Morgan Kaufmann .
   Google Scholar
• RASIOWA , H. and SIKORSKI , R. 1963 . The Mathematics of Metamathematics , Polish Academy .
   Google Scholar
• SHEHTMAN , V. 1999 . ‘Everywhere' and ‘here' . Journal of Applied Non-Classical Logics , 9 ( 2-3 ) : 369-279
   Google Scholar
• SIMONS , P. 1987 . Parts: A Study In Ontology , Oxford : Clarendon Press .
   Google Scholar
• SKVORTSOV , D. 1997 . Non-axiomatisable second order intuitionistic propositional logic . Annals of pure and applied logic , 86 : 33 – 46 .
   Web of Science ®Google Scholar
• STATMAN , R. 1979 . Intuitionistic propositional logic is polynomial-space complete . Theoretical Computer Science , 9 : 67 – 72 .
   Google Scholar
• STELL , J. G. and WORBOYS , M. F. The Algebraic Structure of Sets of Regions . Proceedings of COSIT'97 . Edited by: HIRTLE , S. C. and FRANK , A. U. pp. 163 – 174 . Springer . vol. 1329 of LNCS
   Google Scholar
• STELL , J. G. and WORBOYS , M. F. Generalizing Graphs using Amalgamation and Selection . Proc. 6th Int. Symp. on Advances in Spatial Databases (SSD'99) . Edited by: GUTING , R. H. , PAPADIAL , D. and LOCHOVSKY , F. pp. 19 – 32 . Springer . vol. 1651 of LNCS
   Google Scholar
• STELL , J. G. 2000 . Boolean connection algebras: a new approach to the regionconnection calculus . Artificial Intelligence , 122 : 111 – 136 .
   Web of Science ®Google Scholar
• TARSKI , A. 1956 . “ Sentential calculus and topology ” . In Logic, Semantics, Metamathematics , Oxford University Press .
   Google Scholar
• VICKERS , S. 1989 . Topology via logic , Cambridge University Press .
   Google Scholar
• WOLTER , F. and ZAKHARYASCHEV , M. 1995 . “ Intuitionistic modal logic ” . In Logic, Methodology and Philosophy of Science Edited by: MINARI , P.
   Google Scholar