Volume 19, Issue 17, August 1922
Theodore de Laguna
Pages 449-461
Point, Line, and Surface, as Sets of Solids
Cited by
- Cristina Coppola, Giangiacomo Gerla. Mereology and the Sciences 2014: 105. [CrossRef]
- Dimiter Vakarelov, Georgi Dimov, Ivo Düntsch, Brandon Bennett. Journal of Applied Non-Classical Logics. A Proximity Approach to Some Region-Based Theories of Space 2002. [CrossRef]
- Vladislav Nenchev. Central European Journal of Mathematics. Logics for stable and unstable mereological relations 2011. [CrossRef]
- D. Vakarelov. Algebra and Logic. Dynamic Mereotopology. III. Whiteheadean Type of Integrated Point-Free Theories of Space and Time. I 2014. [CrossRef]
- J.G. Stell. Artificial Intelligence. Boolean connection algebras: A new approach to the Region-Connection Calculus 2000. [CrossRef]
- Roman Kontchakov, Ian Pratt-Hartmann, Michael Zakharyaschev. Artificial Intelligence. Spatial reasoning withRCC8and connectedness constraints in Euclidean spaces 2014. [CrossRef]
- Ian Pratt-Hartmann, Dominik Schoop. Journal of Philosophical Logic. Elementary Polyhedral Mereotopology 2002. [CrossRef]
- Brandon Bennett, Ivo Düntsch. Handbook of Spatial Logics 2007: 99. [CrossRef]
- Lech Polkowski. Approximate Reasoning by Parts 2011: 191. [CrossRef]
- Tamar Lando. Annals of Pure and Applied Logic. Topology and measure in logics for region-based theories of space 2018. [CrossRef]
- Joel Katzav. British Journal for the History of Philosophy. Theodore de Laguna’s discovery of the deflationary view of truth 2019. [CrossRef]
- Claudio Mazzola. Notre Dame Journal of Formal Logic. The Mereotopology of Time 2019. [CrossRef]
- Shyamanta M. Hazarika. Encyclopedia of Information Science and Technology, Second Edition 2009: 3175. [CrossRef]
- Thomas Bittner. GeoInformatica. Vague distance predicates 2017. [CrossRef]
- Ivo Düntsch, Marc Roubens. Relational Methods in Computer Science 2002: 300. [CrossRef]
- Elise Gruhier, Frédéric Demoly, Kyoung-Yun Kim, Said Abboudi, Samuel Gomes. Journal of Engineering Design. A theoretical framework for product relationships description over space and time in integrated design 2016. [CrossRef]
- A. Di Concilio. Mathematics in Computer Science. Point-Free Geometries: Proximities and Quasi-Metrics 2013. [CrossRef]
- Achille C. Varzi. Handbook of Spatial Logics 2007: 945. [CrossRef]
- Tiansi Dong. Spatial Cognition IV. Reasoning, Action, Interaction 2005: 344. [CrossRef]
- Ian Pratt-Hartmann. Handbook of Spatial Logics 2007: 13. [CrossRef]
- TIANSI DONG. International Journal of Software Engineering and Knowledge Engineering. MODELING HUMAN INTELLIGENCE WITH SLOW INTELLIGENCE SYSTEMS 2012. [CrossRef]
- Tatyana Ivanova. Studia Logica. Contact Join-semilattices 2022. [CrossRef]
- Jochen Renz. Journal of Applied Non-Classical Logics. A Canonical Model of the Region Connection Calculus 2002. [CrossRef]
- Massimo Libardi. Axiomathes. Applications and limits of mereology. from the theory of parts to the theory of wholes 1994. [CrossRef]
- Roman Kontchakov, Yavor Nenov, Ian Pratt-Hartmann, Michael Zakharyaschev. ACM Transactions on Computational Logic. Topological Logics with Connectedness over Euclidean Spaces 2013. [CrossRef]
- Z. Cui, A. G. Cohn, D. A. Randell. Advances in Spatial Databases 1993: 296. [CrossRef]
- I. Grattan-Guinness. Historia Mathematica. Algebras, Projective Geometry, Mathematical Logic, and Constructing the World: Intersections in the Philosophy of Mathematics of A. N. Whitehead 2002. [CrossRef]
- Rafał Gruszczyński, Santiago Jockwich Martinez. Journal of Philosophical Logic. Grzegorczyk and Whitehead Points: The Story Continues 2024. [CrossRef]
- Ivo Düntsch, Ewa Orłowska. Journal of Philosophical Logic. A Proof System for Contact Relation Algebras 2000. [CrossRef]
- Anthony G. Cohn, Jochen Renz. Handbook of Knowledge Representation 2008: 551. [CrossRef]
- Dwayne Schulz. Process Studies. The Extensive Continuum versus the “Extensive Dis-Continuum” in Whitehead 2018. [CrossRef]
- Achille C. Varzi. Data & Knowledge Engineering. Parts, wholes, and part-whole relations: The prospects of mereotopology 1996. [CrossRef]
- Tiansi Dong. Advances in Cognitive Informatics and Cognitive Computing 2010: 245. [CrossRef]
- A. G. Cohn. KI-97: Advances in Artificial Intelligence 1997: 1. [CrossRef]
- E. Davis. Journal of Logic and Computation. The expressive power of first-order topological languages 2013. [CrossRef]
- Fernando Manuel Alonso Pedrero, María del Pilar Salazar Lozano. Architectural Graphics 2022: 157. [CrossRef]
- Georgi D. Dimov. Applied Categorical Structures. A Generalization of De Vries Duality Theorem 2009. [CrossRef]
- Georg J. Schmitz. AppliedMath. A Phase-Field Perspective on Mereotopology 2022. [CrossRef]
- Florence Dupin de Saint-Cyr, Odile Papini, Henri Prade. Methods for Handling Imperfect Spatial Information 2010: 133. [CrossRef]
- Lech Polkowski, Andrzej Skowron. Rough Set Methods and Applications 2000: 89. [CrossRef]
- A. G. Cohn. Artificial Intelligence and Symbolic Mathematical Computation 1996: 124. [CrossRef]
- Ian Pratt-Hartmann. Journal of Applied Non-Classical Logics. A Topological Constraint Language with Component Counting 2002. [CrossRef]
- Tiansi Dong. Journal of Philosophical Logic. A COMMENT ON RCC: FROM RCC TO RCC++ 2008. [CrossRef]
- Philippe Balbiani, Tinko Tinchev, Dimiter Vakarelov. Journal of Applied Non-Classical Logics. Dynamic logics of the region-based theory of discrete spaces 2007. [CrossRef]
- Robert Goldblatt, Matt Grice. J. Michael Dunn on Information Based Logics 2016: 313. [CrossRef]
- Giangiacomo Gerla. Handbook of Incidence Geometry 1995: 1015. [CrossRef]
- Loredana Biacino, Giangiacomo Gerla. Notre Dame Journal of Formal Logic. Connection Structures: Grzegorczyk's and Whitehead's Definitions of Point 1996. [CrossRef]
- Lech Polkowski, Paweł Ośmiałowski. Rough Sets and Current Trends in Computing 2008: 142. [CrossRef]
- Stephan E. Nikolov. Armed Forces, Soldiers and Civil-Military Relations 2009: 261. [CrossRef]
- R. Lance Factor. Logic, God and Metaphysics 1992: 121. [CrossRef]
- K.R. Rajagopal. International Journal of Engineering Science. Particle-free bodies and point-free spaces 2013. [CrossRef]
- Lech Polkowski. Transactions on Rough Sets XXI 2019: 142. [CrossRef]
- STEFANO BORGO, CLAUDIO MASOLO. The Review of Symbolic Logic. FULL MEREOGEOMETRIES 2010. [CrossRef]
- Arianna Betti, Iris Loeb. The Bulletin of Symbolic Logic. On Tarski's Foundations of the Geometry of Solids 2012. [CrossRef]
- Xueyou Chen. Advances in Fuzzy Systems. The Lattice Structure of L-Contact Relations 2016. [CrossRef]
- Torsten Hahmann, Michael Grüninger. Qualitative Spatio-Temporal Representation and Reasoning 2012: 1. [CrossRef]
- Ivo Düntsch, Michael Winter. Relations and Kleene Algebra in Computer Science 2008: 99. [CrossRef]
- Manas Ghosh, Michael Winter. Relational and Algebraic Methods in Computer Science 2014: 379. [CrossRef]
- Lech Polkowski. Intelligent Media Technology for Communicative Intelligence 2005: 134. [CrossRef]
- T. Ivanova. Journal of Applied Non-Classical Logics. Logics for extended distributive contact lattices 2018. [CrossRef]
- Georgi Dimov. Topology and its Applications. Some generalizations of Fedorchuk duality theorem—I 2009. [CrossRef]
- Peter Forrest. Journal of Philosophical Logic. Mereotopology without Mereology 2010. [CrossRef]
- Achille C. Varzi. Advances in Artificial Intelligence 1993: 326. [CrossRef]
- Mehmet Giritli. KI 2003: Advances in Artificial Intelligence 2003: 565. [CrossRef]
- Dimiter Vakarelov. Mathematical Problems from Applied Logic II 2007: 267. [CrossRef]
- Xueyou Chen. Information Computing and Applications 2012: 379. [CrossRef]
- Sander Verhaegh. Philosophy of Science. The Reception of Relativity in American Philosophy 2024. [CrossRef]
- Ian Pratt, Dominik Schoop. Journal of Symbolic Logic. Expressivity in polygonal, plane mereotopology 2000. [CrossRef]
- Torsten Hahmann, Michael Winter, Michael Gruninger. Artificial Intelligence. Stonian p-ortholattices: A new approach to the mereotopology RT0 2009. [CrossRef]
- Ivo Düntsch, Ewa Orłowska. Relational Methods for Computer Science Applications 2001: 263. [CrossRef]
- Prathap Siddavaatam, Michael Winter. Relational and Algebraic Methods in Computer Science 2011: 331. [CrossRef]
- G. D. Dimov. Acta Mathematica Hungarica. A de Vries-type duality theorem for the category of locally compact spaces and continuous maps. I 2010. [CrossRef]
- Cristina Coppola, Giangiacomo Gerla, Annamaria Miranda. Notre Dame Journal of Formal Logic. Point-free Foundation of Geometry and Multivalued Logic 2010. [CrossRef]
- Lech Polkowski. Mereology and the Sciences 2014: 217. [CrossRef]
- Andrey Babichev, Yuri A. Dabaghian. Frontiers in Computational Neuroscience. Topological Schemas of Memory Spaces 2018. [CrossRef]
- Timothy Ireland. From Life to Architecture, to Life 2024: 189. [CrossRef]
- Brandon Bennett. Logics in Artificial Intelligence 1996: 337. [CrossRef]
- Mikhail Sheremet, Frank Wolter, Michael Zakharyaschev. Annals of Pure and Applied Logic. A modal logic framework for reasoning about comparative distances and topology 2010. [CrossRef]
- Sebastian Siemoleit, Heinrich Herre. Axiomathes. An Axiomatic Reconstruction of the Basic Categories in Process Philosophy 2020. [CrossRef]
- D. Bostock. Philosophia Mathematica. Whitehead and Russell on Points 2010. [CrossRef]
- Carola Eschenbach, Christopher Habel, Lars Kulik, Annette Leßmöllmann. Spatial Cognition 1998: 176. [CrossRef]
- Philippe Balbiani, Tatyana Ivanova. Studia Logica. Relational Representation Theorems for Extended Contact Algebras 2021. [CrossRef]
- Ivo Düntsch. Relational Methods for Computer Science Applications 2001: 113. [CrossRef]
- Ivo D�ntsch. Artificial Intelligence Review. Relation Algebras and their Application in Temporal and Spatial Reasoning 2005. [CrossRef]
- David A. Randell, Anthony G. Cohn. Computers & Mathematics with Applications. Exploiting lattices in a theory of space and time 1992. [CrossRef]
- Ivo Düntsch, Michael Winter. Theoretical Computer Science. A representation theorem for Boolean contact algebras 2005. [CrossRef]
- Dimiter Vakarelov. Rough Sets 2017: 138. [CrossRef]
- Tatyana Ivanova. Studia Logica. Extended Contact Algebras and Internal Connectedness 2020. [CrossRef]
- Tiansi Dong. A Geometric Approach to the Unification of Symbolic Structures and Neural Networks 2021: 117. [CrossRef]
- Vincenzo Fano, Pierluigi Graziani. Mereology and the Sciences 2014: 85. [CrossRef]
- Yavor Nenov, Ian Pratt-Hartmann. Computer Science Logic 2010: 439. [CrossRef]
- GIANGIACOMO GERLA, RAFAŁ GRUSZCZYŃSKI. The Review of Symbolic Logic. POINT-FREE GEOMETRY, OVALS, AND HALF-PLANES 2017. [CrossRef]
- Muralikrishna Sridhar, Anthony G. Cohn, David C. Hogg. Spatial Information Theory 2011: 110. [CrossRef]
- Anthony G. Cohn, Achille C. Varzi. Journal of Philosophical Logic. Mereotopological Connection 2003. [CrossRef]
- Holger Sturm, Nobu-Yuki Suzuki, Frank Wolter, Michael Zakharyaschev. Logics in Artificial Intelligence 2000: 37. [CrossRef]
- Tamar Lando, Dana Scott. Journal of Philosophical Logic. A Calculus of Regions Respecting Both Measure and Topology 2019. [CrossRef]
- Sabine Koppelberg, Ivo Düntsch, Michael Winter. Algebra universalis. Remarks on contact relations on Boolean algebras 2012. [CrossRef]
- Dimiter Vakarelov. Alasdair Urquhart on Nonclassical and Algebraic Logic and Complexity of Proofs 2022: 411. [CrossRef]