A proof system for contact relation algebras

&
Journal of Philosophical Logic 29 (3):241-262 (2000)
  Copy   BIBTEX

Abstract

Contact relations have been studied in the context of qualitative geometry and physics since the early 1920s, and have recently received attention in qualitative spatial reasoning. In this paper, we present a sound and complete proof system in the style of Rasiowa and Sikorski (1963) for relation algebras generated by a contact relation

Categories

Keywords

Reprint years

2004

DOI

10.1023/a:1004764610651

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,098

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Relational proof systems for spatial reasoning.Joanna Golińska-Pilarek & Ewa Orlowska - 2006 - Journal of Applied Non-Classical Logics 16 (3-4):409-431.
Rasiowa-Sikorski proof system for the non-Fregean sentential logic SCI.Joanna Golinska-Pilarek - 2007 - Journal of Applied Non-Classical Logics 17 (4):509–517.
On the Homogeneous Countable Boolean Contact Algebra.Ivo Düntsch & Sanjiang Li - 2013 - Logic and Logical Philosophy 22 (2):213-251.
A mereotopology based on sequent algebras.Dimiter Vakarelov - 2017 - Journal of Applied Non-Classical Logics 27 (3-4):342-364.
Relational approach for a logic for order of magnitude qualitative reasoning with negligibility, non-closeness and distance.Joanna Golinska-Pilarek & Emilio Munoz Velasco - 2009 - Logic Journal of the IGPL 17 (4):375–394.
Complementation in Representable Theories of Region-Based Space.Torsten Hahmann & Michael Grüninger - 2013 - Notre Dame Journal of Formal Logic 54 (2):177-214.
Dual tableau for a multimodal logic for order of magnitude qualitative reasoning with bidirectional negligibility.Joanna Golińska-Pilarek & Emilio Munoz-Velasco - 2009 - International Journal of Computer Mathematics 86 (10-11):1707–1718.
A Short Proof Of Representability Of Fork Algebras.Viktor Gyuris - 1995 - Logic Journal of the IGPL 3 (5):791-796.
A Necessary Relation Algebra for Mereotopology.Michael Winter, Gunther Schmidt & Ivo DÜntsch - 2001 - Studia Logica 69 (3):381-409.
The Contact Algebra of the Euclidean Plane has Infinitely Many Elements.Thomas Mormann - manuscript

Analytics

Added to PP
2009-01-28

Downloads
125 (#149,185)

6 months
42 (#98,106)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Mereotopological Connection.Anthony G. Cohn & Achille C. Varzi - 2003 - Journal of Philosophical Logic 32 (4):357-390.
On the Decidability of Axiomatized Mereotopological Theories.Hsing-Chien Tsai - 2015 - Notre Dame Journal of Formal Logic 56 (2):287-306.

View all 6 citations / Add more citations

References found in this work

Parts: a study in ontology.Peter M. Simons - 1987 - New York: Oxford University Press.
Parts: A Study in Ontology.Peter M. Simons - 1987 - Oxford, England: Clarendon Press.
Process and reality: an essay in cosmology.Alfred North Whitehead - 1929 - New York: Free Press. Edited by David Ray Griffin & Donald W. Sherburne.
Parts : a Study in Ontology.Peter Simons - 1987 - Revue de Métaphysique et de Morale 2:277-279.
The mathematics of metamathematics.Helena Rasiowa - 1963 - Warszawa,: Państwowe Wydawn. Naukowe. Edited by Roman Sikorski.

View all 33 references / Add more references