A proof system for contact relation algebras

Journal of Philosophical Logic

Volumn 29, Issue 3, 2000, Pages 241-262

  Düntsch, Ivo ^a   Orłowska, Ewa ^b  

^a UNIVERSITY OF ULSTER   (United Kingdom)

^b Institute of Telecommunications   (Poland)

Author keywords

Mereology; Rasiowa Sikorski proof system; Spatial reasoning

Indexed keywords

EID: 0039617857     PISSN: 00223611     EISSN: 15730433     Source Type: Journal    
DOI: 10.1023/A:1004764610651     Document Type: Article

References (42)

1. Allen, J. F. (1983): Maintaining knowledge about temporal intervals, Comm. ACM 26, 832-843.
2. Andréka, H., Givant, S. and Németi, I. (1994): The lattice of varieties of representable relation algebras, J. Symbolic Logic 59, 631-661.
3. Andréka, H., Givant, S. and Németi, I. (1997): Decision Problems for Equational Theories of Relation Algebras, Mem. Amer. Math. Soc. 604, Providence.
4. Asher, N. and Vieu, L. (1995): Toward a geometry of common sense: A semantics and a complete axiomatization of mereotopology, in C. Mellish (ed.), IJCAI 95, Proceedings of the 14th International Joint Conference on Artificial Intelligence.
5. Bennett, B. (1996): Modal logics for qualitative spatial reasoning, Bull. Interest Group in Pure and Appl. Logic (IGPL) 4, 23-45.
6. Biacino, L. and Gerla, G. (1991): Connection structures, Notre Dame J. Formal Logic 32, 242-247.
7. Buszkowski, W. and Orlowska, E. (1997): Indiscernibility-based formalization of dependencies in information systems, in E. Orlowska (ed.), Incomplete Information - Rough Set Analysis, Physica-Verlag, Heidelberg, pp. 293-315.
8. Clarke, B. L. (1981): A calculus of individuals based on 'connection', Notre Dame J. Formal Logic 22, 204-218.
9. Cohn, A. G., Bennett, B., Gooday, J. and Gotts, N. M. (1997): Qualitative spatial representation and reasoning with the region connection calculus, Geoinformatica 13, 1-42.
10. Comer, S. (1983): A remark on chromatic polygroups, Congressus Numerantium 38, 85-95.
11. de Laguna, T. (1922): Point, line and surface as sets of solids, J. Philos. 19, 449-461.
12. de Morgan, A. (1864): On the syllogism: IV, and on the logic of relations, Trans. Cambridge Philos. Soc. 10, 331-358. (Read April 23, 1860.) Reprinted in de Morgan (1966).
13. de Morgan, A. (1966): On the Syllogism, and Other Logical Writings, Yale Univ. Press, New Haven.
14. Düntsch, I. (1991): Small integral relation algebras generated by a partial order, Period. Math. Hungar. 23, 129-138.
15. ∼cccz23/papers/apprea.html.
16. Düntsch, I., Schmidt, G. and Winter, M. (1999b): A necessary relation algebra for mereotopology, Studia Logica, to appear.
17. Düntsch, I., Wang, H. and McCloskey, S. (1999c): Relation algebras in qualitative spatial reasoning, Fund. Inform. 39, 229-248.
18. Egenhofer, M. (1994): Deriving the composition of binary topological relations, J. Visual Languages and Comput. 5, 133-149.
19. Egenhofer, M. and Sharma, J. (1992): Topological consistency, in Fifth International Symposium on Spatial Data Handling, Charleston, SC.
20. Egenhofer, M. and Sharma, J. (1993): Assessing the consistency of complete and incomplete topological information, Geographical Systems 1, 47-68.
21. Jónsson, B. and Tarski, A. (1951): Boolean algebras with operators I, Amer. J. Math. 73, 891-939.
22. Lemon, O. and Pratt, I. (1997): On the incompleteness of modal logics of space: Advancing complete modal logics of place, in M. Kracht, M. de Rijke, H. Wansing and M. Zakharyaschev (eds.), Advances in Modal Logic, 113-130. Stanford: CSLI Publications.
23. Leśniewski, S. (1916): Podstawy ogólnej teoryi mnogosci. I, Prace Polskiego Koła Naukowe w Moskwie, Sekcya Matematycznoprzyrodnicza 2.
24. Leśniewski, S. (1927-1931): O podstawach matematyki, Przeglad Filozoficzny 30-34.
25. Leśniewski, S. (1983): On the foundation of mathematics, Topoi 2, 7-52.
26. Nicod, J. (1924): Geometry in a sensible world, Doctoral thesis, Sorbonne, Paris. English translation in Geometry and Induction, Routledge and Kegan Paul, 1969.
27. Orlowska, E. (1991): Relational interpretation of modal logics, in H. Andréka, J. D. Monk and I. Németi (eds.), Algebraic Logic, Colloq. Math. Soc. János Bolyai 54, North-Holland, Amsterdam, pp. 443-471.
28. Orlowska, E. (1996): Relational proof systems for modal logics, in H. Wansing (ed.), Proof Theory of Modal Logic, Kluwer, Dordrecht, pp. 55-78.
29. Peirce, C. S. (1870): Description of a notation for the logic of relatives, resulting from an amplification of the conceptions of Boole's calculus of logic, Mem. Amer. Acad. Sci. 9, 317-378. Reprint by Welch, Bigelow and Co., Cambridge, Mass., 1870, pp. 1-62.
30. Pratt, I. and Lemon, O. (1997): Ontologies for plane, polygonal mereotopology, Notre Dame J. Formal Logic 38, 225-245.
31. Pratt, I. and Schoop, D. (1998): A complete axiom system for polygonal mereotopology of the real plane, J. Philos. Logic 27, 621-658.
32. Pratt, I. and Schoop, D. (1999): Expressivity in polygonal, plane mereotopology, J. Symbolic Logic, to appear.
33. Pratt, V. (1992): Dynamic algebras: Examples, constructions, applications, Dept. of Computer Science, Stanford.
34. Randell, D. A., Cohn, A. and Cui, Z. (1992): Computing transitivity tables: A challenge for automated theorem provers, in Proc. CADE II, Springer-Verlag, pp. 786-790.
35. Rasiowa, H. and Sikorski, R. (1963): The Mathematics of Metamathematics, Polska Akademia Nauk, Monografie Matematyczne 41, PWN, Warsaw.
36. Schröder, E. (1890-1905): Vorlesungen über die Algebra der Logik, Volumes 1 to 3, Teubner Verlag, Leipzig. Reprinted by Chelsea, New York, 1966.
37. Simons, P. (1987): Parts. A Study in Ontology, Clarendon Press, Oxford.
38. Tarski, A. (1941): On the calculus of relations, J. Symbolic Logic 6, 73-89.
39. Tarski, A. and Givant, S. (1987): A Formalization of Set Theory without Variables, Colloquium Publications 41, Amer. Math. Soc., Providence.
40. van Benthem, J. (1984): Correspondence theory, in D. M. Gabbay and F. Guenthner (eds.), Extensions of Classical Logic, Handbook of Philosophical Logic, Vol. 2, Reidel, Dordrecht, pp. 167-247.
41. Varzi, A. C. (1996): Parts, wholes, and part-whole relations: The prospect of mereotopology, Data & Knowledge Engineering 20, 259-286.
42. Whitehead, A. N. (1929): Process and Reality, MacMillan, New York.