- Complementation in Representable Theories of Region-Based Space.Torsten Hahmann & Michael Grüninger - 2013 - Notre Dame Journal of Formal Logic 54 (2):177-214.details
|
|
Continuous Lattices and Whiteheadian Theory of Space.Thomas Mormann - 1998 - Logic and Logical Philosophy 6:35 - 54.details
|
|
Spatial Reasoning and Ontology: Parts, Wholes, and Locations.Achille C. Varzi - 2007 - In Marco Aiello, Ian Pratt-Hartmann & Johan van Benthem (eds.), Handbook of Spatial Logics. Springer Verlag. pp. 945-1038.details
|
|
Boundaries, continuity, and contact.Achille C. Varzi - 1997 - Noûs 31 (1):26-58.details
|
|
Mereotopological Connection.Anthony G. Cohn & Achille C. Varzi - 2003 - Journal of Philosophical Logic 32 (4):357-390.details
|
|
Indeterminate Propositions in Prior Analytics I.41.Marko Malink - 2009 - History of Philosophy & Logical Analysis 12 (1):165-189.details
|
|
Ontologies for Plane, Polygonal Mereotopology.Ian Pratt & Oliver Lemon - 1997 - Notre Dame Journal of Formal Logic 38 (2):225-245.details
|
|
A proof system for contact relation algebras.Ivo Düntsch & Ewa Orłowska - 2000 - Journal of Philosophical Logic 29 (3):241-262.details
|
|
A formal theory for reasoning about parthood, connection, and location.Maureen Donnelly - 2004 - Artificial Intelligence 160 (1-2):145-172.details
|
|
Intuitionistic Overlap Structures.Francesco Ciraulo - 2013 - Logic and Logical Philosophy 22 (2):201-212.details
|
|
Full development of Tarski's geometry of solids.Rafaŀ Gruszczyński & Andrzej Pietruszczak - 2008 - Bulletin of Symbolic Logic 14 (4):481-540.details
|
|
Mathematical Methods in Region-Based Theories of Space: The Case of Whitehead Points.Rafał Gruszczyński - 2024 - Bulletin of the Section of Logic 53 (1):63-104.details
|
|
Defining Measures in a Mereological Space.Giuseppina Barbieri & Giangiacomo Gerla - forthcoming - Logic and Logical Philosophy:1.details
|
|
CODI: A multidimensional theory of mereotopology with closure operations.Torsten Hahmann - 2020 - Applied ontology 15 (3):251-311.details
|
|
Parts, Wholes, and Part-Whole Relations: The Prospects of Mereotopology.Achille C. Varzi - 1996 - Data and Knowledge Engineering 20:259–286.details
|
|
A Proximity Approach to Some Region-Based Theories of Space.Dimiter Vakarelov, Georgi Dimov, Ivo Düntsch & Brandon Bennett - 2002 - Journal of Applied Non-Classical Logics 12 (3-4):527-559.details
|
|
Boolean connection algebras: A new approach to the Region-Connection Calculus.J. G. Stell - 2000 - Artificial Intelligence 122 (1-2):111-136.details
|
|
Connection Structures: Grzegorczyk's and Whitehead's Definitions of Point.Loredana Biacino & Giangiacomo Gerla - 1996 - Notre Dame Journal of Formal Logic 37 (3):431-439.details
|
|
Contact Join-semilattices.Tatyana Ivanova - 2022 - Studia Logica 110 (5):1219-1241.details
|
|
Stonian p-ortholattices: A new approach to the mereotopology RT 0.Torsten Hahmann, Michael Winter & Michael Gruninger - 2009 - Artificial Intelligence 173 (15):1424-1440.details
|
|
Combining topological and size information for spatial reasoning.Alfonso Gerevini & Jochen Renz - 2002 - Artificial Intelligence 137 (1-2):1-42.details
|
|
(1 other version)A necessary relation algebra for mereotopology.Ivo DÜntsch, Gunther Schmidt & Michael Winter - 2001 - Studia Logica 69 (3):381 - 409.details
|
|
Full mereogeometries.Stefano Borgo & Claudio Masolo - 2010 - Review of Symbolic Logic 3 (4):521-567.details
|
|
(1 other version)Topology, connectedness, and modal logic.Roman Kontchakov, Ian Pratt-Hartmann, Frank Wolter & Michael Zakharyaschev - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 151-176.details
|
|