{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,3]],"date-time":"2024-10-03T22:10:12Z","timestamp":1727993412593},"reference-count":25,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2022,9,14]],"date-time":"2022-09-14T00:00:00Z","timestamp":1663113600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2022,9,14]],"date-time":"2022-09-14T00:00:00Z","timestamp":1663113600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Log. Univers."],"published-print":{"date-parts":[[2022,12]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>We focus on a branch of region-based spatial logics dealing with affine geometry. The research on this topic is scarce: only a handful of papers investigate such systems, mostly in the case of the real plane. Our long-term goal is to analyse certain family of affine logics with inclusion and convexity as primitives interpreted over real spaces of increasing dimensionality. In this article we show that logics of different dimensionalities must have different theories, thus justifying further work on different dimensions. We then focus on the three-dimensional case, exploring the expressiveness of this logic and consequently showing that it is possible to construct formulas describing a three-dimensional coordinate frame. The final result, making use of the high expressive power of this logic, is that every region satisfies an affine complete formula, meaning that all regions satisfying it are affine equivalent.<\/jats:p>","DOI":"10.1007\/s11787-022-00313-9","type":"journal-article","created":{"date-parts":[[2022,9,14]],"date-time":"2022-09-14T13:04:40Z","timestamp":1663160680000},"page":"603-620","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Three-Dimensional Affine Spatial Logics"],"prefix":"10.1007","volume":"16","author":[{"given":"Adam","family":"Trybus","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2022,9,14]]},"reference":[{"key":"313_CR1","unstructured":"Aiello M., Pratt-Hartmann I., van Benthem, J. (Eds.), Handbook of Spatial Logics. Springer"},{"issue":"4","key":"313_CR2","doi-asserted-by":"publisher","first-page":"700","DOI":"10.1017\/S1755020309990098","volume":"2","author":"J Avigad","year":"2009","unstructured":"Avigad, J., Dean, E., Mumma, J.: A formal system for Euclid\u2019s elements. Rev. Symbolic Logic 2(4), 700\u2013768 (2009)","journal-title":"Rev. Symbolic Logic"},{"key":"313_CR3","unstructured":"Bennett, B., Cohn, AG.: Consistency of topological relations in the presence of convexity constraints. In: Proceedings of the \u2018Hot Topics in Spatio-Temporal Reasoning\u2019 Workshop, IJCAI-99 (1999)"},{"key":"313_CR4","doi-asserted-by":"publisher","DOI":"10.1002\/9781118032565","volume-title":"Affine and Projective Geometry","author":"M Bennett","year":"1995","unstructured":"Bennett, M.: Affine and Projective Geometry. Wiley, UK (1995)"},{"key":"313_CR5","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5253.001.0001","volume-title":"Parts and places. The structures of spatial representation","author":"R Casati","year":"1999","unstructured":"Casati, R., Varzi, A.C.: Parts and places. The structures of spatial representation. MIT Press, Cambridge-London (1999)"},{"issue":"3","key":"313_CR6","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1023\/A:1026401931919","volume":"4","author":"E Davis","year":"1999","unstructured":"Davis, E., Gotts, N.M., Cohn, A.G.: Constraint networks of topological relations and convexity. Constraints 4(3), 241\u2013280 (1999)","journal-title":"Constraints"},{"key":"313_CR7","unstructured":"Klein, F.: Elementary mathematics from an advanced standpoint. geometry, In: Hedrick E.R., Noble C.A. (transl.), Dover, New York (2004)"},{"key":"313_CR8","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4939-1474-6","volume-title":"Alfred Tarski. Early work in Poland \u2013 Geometry and Teaching","author":"A McFarland","year":"2014","unstructured":"McFarland, A., McFarland, J., Smith, J.T.: Alfred Tarski. Early work in Poland \u2013 Geometry and Teaching. Springer-Birkh\u00e4user, USA (2014)"},{"key":"313_CR9","doi-asserted-by":"publisher","first-page":"142","DOI":"10.1086\/368504","volume":"7","author":"E Nagel","year":"1939","unstructured":"Nagel, E.: The formation of modern conceptions of formal logic in the development of geometry. Osiris 7, 142\u2013223 (1939)","journal-title":"Osiris"},{"key":"313_CR10","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511804649","volume-title":"Critique of Pure Reason","author":"I Kant","year":"1998","unstructured":"Kant, I.: Critique of Pure Reason. Cambridge University Press, Cambridge (1998)"},{"key":"313_CR11","doi-asserted-by":"publisher","first-page":"825","DOI":"10.1007\/s10992-018-9496-8","volume":"48","author":"T Lando","year":"2019","unstructured":"Lando, T., Scott, D.: A calculus of regions respecting both measure and topology. J. Philos. Logic 48, 825\u2013850 (2019)","journal-title":"J. Philos. Logic"},{"key":"313_CR12","unstructured":"Pasch, M.: Essays on the foundations of mathematics, In: Pollard S. (Ed.), Springer, Dordrecht-Heidelberg-London-New York (2010)"},{"key":"313_CR13","volume-title":"The Legacy of Mario Pieri in Geometry and Arithmetic","author":"EA Marchisotto","year":"2007","unstructured":"Marchisotto, E.A., Smith, J.T.: The Legacy of Mario Pieri in Geometry and Arithmetic. Springer, Dordrecht-Heidelberg-London-New York (2007)"},{"issue":"2","key":"313_CR14","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1023\/A:1010037123582","volume":"1","author":"I Pratt","year":"1999","unstructured":"Pratt, I.: First-Order qualitative spatial representation languages with convexity. J. Spatial Cognit. Comput. 1(2), 181\u2013204 (1999)","journal-title":"J. Spatial Cognit. Comput."},{"key":"313_CR15","volume-title":"An essay on the foundations of geometry","author":"B Russell","year":"1897","unstructured":"Russell, B.: An essay on the foundations of geometry. Cambridge University Press, Cambridge (1897)"},{"key":"313_CR16","volume-title":"The Principles of Mathematics","author":"B Russell","year":"1903","unstructured":"Russell, B.: The Principles of Mathematics, 7th edn. George Allen & Unwin Ltd., London (1903)","edition":"7"},{"key":"313_CR17","volume-title":"Parts. A study in ontology","author":"P Simons","year":"2003","unstructured":"Simons, P.: Parts. A study in ontology. Clarendon Press, Oxford (2003)"},{"key":"313_CR18","doi-asserted-by":"publisher","first-page":"155","DOI":"10.4064\/fm-104-3-155-192","volume":"4","author":"L Szczerba","year":"1979","unstructured":"Szczerba, L., Tarski, A.: Metamathematical discussion of some affine geometries. Fund. Math. 4, 155\u2013192 (1979)","journal-title":"Fund. Math."},{"key":"313_CR19","volume-title":"The Axiomatic Method","author":"T Alfred","year":"1959","unstructured":"Alfred, T.: What is Elementary Geometry? In: Henkin, L., et al. (eds.) The Axiomatic Method. Elsevier, USA (1959)"},{"key":"313_CR20","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1080\/01445348608837096","volume":"7","author":"A Tarski","year":"1986","unstructured":"Tarski, A.: What are Logical Notions? History. Philos. Logic 7, 143\u2013154 (1986)","journal-title":"History. Philos. Logic"},{"issue":"3","key":"313_CR21","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/2897190","volume":"17","author":"A Trybus","year":"2016","unstructured":"Trybus, A.: Rational region-based affine logic of the real plane. ACM Trans. Comput. Logic 17(3), 1\u20138 (2016)","journal-title":"ACM Trans. Comput. Logic"},{"issue":"4","key":"313_CR22","doi-asserted-by":"publisher","first-page":"591","DOI":"10.1080\/03080188.2020.1865661","volume":"46","author":"A Trybus","year":"2021","unstructured":"Trybus, A.: Russell and the foundations of qualitative spatial reasoning: The First Steps. Interdiscipl. Sci. Rev. 46(4), 591\u2013608 (2021)","journal-title":"Interdiscipl. Sci. Rev."},{"key":"313_CR23","volume-title":"The Axioms of Descriptive Geometry","author":"AN Whitehead","year":"1907","unstructured":"Whitehead, A.N.: The Axioms of Descriptive Geometry. Cambridge University Press, Cambridge (1907)"},{"key":"313_CR24","volume-title":"The Axioms of Projective Geometry","author":"AN Whitehead","year":"1913","unstructured":"Whitehead, A.N.: The Axioms of Projective Geometry, 2nd edn. Cambridge University Press, Cambridge (1913)","edition":"2"},{"key":"313_CR25","volume-title":"Process and reality","author":"AN Whitehead","year":"1929","unstructured":"Whitehead, A.N.: Process and reality. The Free Press, New York (1929)"}],"container-title":["Logica Universalis"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11787-022-00313-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s11787-022-00313-9\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11787-022-00313-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,10,3]],"date-time":"2024-10-03T21:28:12Z","timestamp":1727990892000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s11787-022-00313-9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,9,14]]},"references-count":25,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2022,12]]}},"alternative-id":["313"],"URL":"https:\/\/doi.org\/10.1007\/s11787-022-00313-9","relation":{},"ISSN":["1661-8297","1661-8300"],"issn-type":[{"type":"print","value":"1661-8297"},{"type":"electronic","value":"1661-8300"}],"subject":[],"published":{"date-parts":[[2022,9,14]]},"assertion":[{"value":"15 July 2021","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"10 December 2021","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"14 September 2022","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}