A proof system for contact relation algebras

Authors
Duntsch, I Orlowska, E
Citation
I. Duntsch et E. Orlowska, A proof system for contact relation algebras, J PHILOS LO, 29(3), 2000, pp. 241-262
Citations number
42
Categorie Soggetti
Philosiphy
Journal title
JOURNAL OF PHILOSOPHICAL LOGIC
ISSN journal
00223611 → ACNP
Volume
29
Issue
3
Year of publication
2000
Pages
241 - 262
Database
ISI
SICI code
0022-3611(200006)29:3<241:APSFCR>2.0.ZU;2-U
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 comple te proof system in the style of Rasiowa and Sikorski (1963) for relation al gebras generated by a contact relation.