A complete axiom system for polygonal mereotopology of the real plane (A calculus for mereotopological reasoning)

Authors
Pratt, I Schoop, D
Citation
I. Pratt et D. Schoop, A complete axiom system for polygonal mereotopology of the real plane (A calculus for mereotopological reasoning), J PHILOS LO, 27(6), 1998, pp. 621-658
Citations number
15
Categorie Soggetti
Philosiphy
Journal title
JOURNAL OF PHILOSOPHICAL LOGIC
ISSN journal
00223611 → ACNP
Volume
27
Issue
6
Year of publication
1998
Pages
621 - 658
Database
ISI
SICI code
0022-3611(199812)27:6<621:ACASFP>2.0.ZU;2-4