{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T16:29:25Z","timestamp":1750350565110,"version":"3.37.3"},"reference-count":36,"publisher":"Springer Science and Business Media LLC","issue":"5","license":[{"start":{"date-parts":[[2022,5,11]],"date-time":"2022-05-11T00:00:00Z","timestamp":1652227200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2022,5,11]],"date-time":"2022-05-11T00:00:00Z","timestamp":1652227200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/501100003335","name":"Ministry of Education, Youth and Science","doi-asserted-by":"publisher","award":["National program \u201cYoung scientists and Postdoctoral candidates\u201d 2020"],"award-info":[{"award-number":["National program \u201cYoung scientists and Postdoctoral candidates\u201d 2020"]}],"id":[{"id":"10.13039\/501100003335","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Stud Logica"],"published-print":{"date-parts":[[2022,10]]},"DOI":"10.1007\/s11225-022-09994-1","type":"journal-article","created":{"date-parts":[[2022,5,11]],"date-time":"2022-05-11T19:25:15Z","timestamp":1652297115000},"page":"1219-1241","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["Contact Join-semilattices"],"prefix":"10.1007","volume":"110","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-6873-3161","authenticated-orcid":false,"given":"Tatyana","family":"Ivanova","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2022,5,11]]},"reference":[{"key":"9994_CR1","doi-asserted-by":"crossref","unstructured":"Aiello, M., I. Pratt-Hartmann, and J. van Benthem (eds.), Handbook of Spatial Logics, Springer, 2007.","DOI":"10.1007\/978-1-4020-5587-4"},{"key":"9994_CR2","doi-asserted-by":"crossref","unstructured":"Balbiani, P., and T. Ivanova, Relational representation theorems for extended contact algebras, Studia Logica 109:701\u2013723, 2021.","DOI":"10.1007\/s11225-020-09923-0"},{"key":"9994_CR3","unstructured":"Balbiani, P., T. Tinchev and D. Vakarelov, Modal logics for region-based theory of space, Fundamenta Informaticae, Special Issue: Topics in Logic, Philosophy and Foundation of Mathematics and Computer Science in Recognition of Professor Andrzej Grzegorczyk, 18(1\u20133):29\u201382, 2007."},{"key":"9994_CR4","doi-asserted-by":"crossref","unstructured":"Bennett, B., and I. D\u00fcntsch, Axioms, algebras and topology, in M. Aiello, I. Pratt, and J. van Benthem, (eds.) Handbook of Spatial Logics, Springer, 2007, pp.\u00a099\u2013160.","DOI":"10.1007\/978-1-4020-5587-4_3"},{"key":"9994_CR5","doi-asserted-by":"crossref","unstructured":"Biacino, L., and G. Gerla, Connection structures, Notre Dame Journal of Formal Logic 32(2):242\u2013247, 1991.","DOI":"10.1305\/ndjfl\/1093635748"},{"key":"9994_CR6","unstructured":"Dimov, G., and D. Vakarelov, Contact algebras and region\u2013based theory of space: A proximity approach I, Fundamenta Informaticae 74(2\u20133):209\u2013249, 2006."},{"key":"9994_CR7","doi-asserted-by":"crossref","unstructured":"D\u00fcntsch, I., W. MacCaull, D. Vakarelov, and M. Winter, Topological representation of contact lattices, Lecture Notes in Computer Science 4136:135\u2013147, 2006.","DOI":"10.1007\/11828563_9"},{"key":"9994_CR8","doi-asserted-by":"crossref","unstructured":"D\u00fcntsch, I., W. MacCaull, D. Vakarelov, and M. Winter, Distributive contact lattices: Topological representation, Journal of logic and Algebraic Programming 76:18\u201334, 2008.","DOI":"10.1016\/j.jlap.2007.10.002"},{"key":"9994_CR9","doi-asserted-by":"crossref","unstructured":"D\u00fcntsch, I., and D. Vakarelov, Region-based theory of discrete spaces: A proximity approach, in M. Nadif, A. Napoli, E. SanJuan and A. Sigayret (eds.), Proceedings of Fourth International Conference Journ\u00e9es de l\u2019informatique Messine, Metz, France, 2003, pp. 123\u2013129 (journal version in Annals of Mathematics and Artificial Intelligence, 49(1\u20134):5\u201314, 2007).","DOI":"10.1007\/s10472-007-9064-3"},{"key":"9994_CR10","doi-asserted-by":"crossref","unstructured":"D\u00fcntsch, I., H. Wang, and S. McCloskey, A relation-algebraic approach to the region connection calculus, Theoretical Computer Science 255(1):63\u201383, 2001.","DOI":"10.1016\/S0304-3975(99)00156-5"},{"key":"9994_CR11","unstructured":"D\u00fcntsch, I., and M. Winter, Construction of Boolean contact algebras, AI Communications 17(4):235\u2013246, 2004."},{"key":"9994_CR12","doi-asserted-by":"crossref","unstructured":"D\u00fcntsch, I., and M. Winter, A representation theorem for Boolean contact algebras, Theoretical Computer Science 347:498\u2013512, 2005.","DOI":"10.1016\/j.tcs.2005.06.030"},{"key":"9994_CR13","doi-asserted-by":"crossref","unstructured":"Gerla, G., Pointless geometries, in F. Buekenhout (ed.), Handbook of Incidence Geometry, Elsevier, 1995, pp.\u00a01015\u20131031.","DOI":"10.1016\/B978-044488355-1\/50020-7"},{"key":"9994_CR14","unstructured":"Gotts, N., An axiomatic approach to topology for spatial information systems, Technical report, 1996."},{"key":"9994_CR15","doi-asserted-by":"crossref","unstructured":"Gr\u00e4tzer, G., General Lattice Theory, Birkh\u00e4user, Basel, 1978.","DOI":"10.1007\/978-3-0348-7633-9"},{"key":"9994_CR16","doi-asserted-by":"crossref","unstructured":"Gruszczy\u0144ski, R., and A. Pietruszczak, A study in Grzegorczyk point-free topology Part I: Separation and Grzegorczyk structures, Studia Logica 106:1197\u20131238, 2018.","DOI":"10.1007\/s11225-018-9786-8"},{"key":"9994_CR17","doi-asserted-by":"crossref","unstructured":"Gruszczy\u0144ski, R., and A. Pietruszczak, A study in Grzegorczyk point-free topology Part II: Spaces of points, Studia Logica 107:809\u2013843, 2019.","DOI":"10.1007\/s11225-018-9822-8"},{"key":"9994_CR18","doi-asserted-by":"crossref","unstructured":"Gruszczy\u0144ski, R., and A. Pietruszczak, Full development of Tarski\u2019s geometry of solids, The Bulletin of Symbolic Logic 14(4):481\u2013540, 2008.","DOI":"10.2178\/bsl\/1231081462"},{"key":"9994_CR19","doi-asserted-by":"crossref","unstructured":"Grzegorczyk, A., Axiomatizability of geometry without points, Synthese 12(2\/3):228\u2013235, 1960.","DOI":"10.1007\/BF00485101"},{"key":"9994_CR20","doi-asserted-by":"crossref","unstructured":"Hahmann, T., and M. Gruninger, Region-based theories of space: Mereotopology and beyond, in S. Hazarika (ed.), Qualitative Spatio-Temporal Representation and Reasoning: Trends and Future Directions, IGI Publishing, 2012, pp.\u00a01\u201362.","DOI":"10.4018\/978-1-61692-868-1.ch001"},{"key":"9994_CR21","doi-asserted-by":"crossref","unstructured":"Ivanova, T., Extended contact algebras and internal connectedness, Studia Logica 108:239\u2013254, 2020.","DOI":"10.1007\/s11225-019-09845-6"},{"key":"9994_CR22","doi-asserted-by":"crossref","unstructured":"Ivanova, T., Logics for extended distributive contact lattices, Journal of Applied Non-Classical Logics 28(1):140\u2013162, 2018.","DOI":"10.1080\/11663081.2017.1373562"},{"key":"9994_CR23","doi-asserted-by":"crossref","unstructured":"Ivanova, T., and D. Vakarelov, Distributive mereotopology: extended distributive contact lattices, Annals of Mathematics and Artificial Intelligence 77(1):3\u201341, 2016.","DOI":"10.1007\/s10472-016-9499-5"},{"key":"9994_CR24","doi-asserted-by":"crossref","unstructured":"de Laguna, T., Point, line and surface as sets of solids, The Journal of Philosophy 19:449\u2013461, 1922.","DOI":"10.2307\/2939504"},{"key":"9994_CR25","unstructured":"Pratt-Hartmann, I., First-order region-based theories of space, in M. Aiello, I. Pratt-Hartmann and J. van Benthem (eds.), Logic of Space, Springer, 2007."},{"key":"9994_CR26","unstructured":"Randell, D. A., Z. Cui, and A. G. Cohn, A spatial logic based on regions and connection, in B. Nebel, W. Swartout, C. Rich (eds.), Proceedings of the 3rd International Conference Knowledge Representation and Reasoning, Morgan Kaufmann, Los Allos, CA, 1992, pp.\u00a0165\u2013176."},{"key":"9994_CR27","doi-asserted-by":"crossref","unstructured":"Stell, J., Boolean connection algebras: A new approach to the Region Connection Calculus, Artificial Intelligence 122:111\u2013136, 2000.","DOI":"10.1016\/S0004-3702(00)00045-X"},{"key":"9994_CR28","unstructured":"Tarski, A., Foundations of the geometry of solids, Logic, semantics, metamathematics papers from 1923 to 1938, Clarendon Press, Oxford, 1956, pp. 24\u201329."},{"key":"9994_CR29","doi-asserted-by":"crossref","unstructured":"Vakarelov, D., Region-based theory of space: Algebras of regions, representation theory and logics, in D. Gabbay, S. Goncharov and M. Zakharyaschev (eds.), Mathematical Problems from Applied Logic II. Logics for the XXIst Century, Springer, 2007, pp.\u00a0267\u2013348.","DOI":"10.1007\/978-0-387-69245-6_6"},{"key":"9994_CR30","unstructured":"Vakarelov, D., Point-free theories of space and time, Journal of Applied Logics: IfCoLog Journal of Logics and their Applications 7(6):1243\u20131322 2020."},{"key":"9994_CR31","doi-asserted-by":"crossref","unstructured":"Vakarelov, D., G. Dimov, I. D\u00fcntsch, and B. Bennett, A proximity approach to some region-based theories of space, Journal of Applied Non-Classical Logics 12(3\u20134):527\u2013559, 2002.","DOI":"10.3166\/jancl.12.527-559"},{"key":"9994_CR32","doi-asserted-by":"crossref","unstructured":"Vakarelov, D., I. D\u00fcntsch, and B. Bennett, A note on proximity spaces and connection based mereology, in C. Welty and B. Smith (eds.), Proceedings of the 2nd International Conference on Formal Ontology in Information Systems (FOIS\u201901), ACM, 2001, pp.\u00a0139\u2013150.","DOI":"10.1145\/505168.505182"},{"key":"9994_CR33","unstructured":"de Vries, H., Compact Spaces and Compactifications, Van Gorcum, 1962."},{"key":"9994_CR34","unstructured":"Whitehead, A. N., Process and Reality, New York, MacMillan, 1929."},{"key":"9994_CR35","unstructured":"Whitehead, A. N., An Enquiry Concerning the Principles of Human Knowledge, Cambridge University Press, Cambridge, 1919."},{"key":"9994_CR36","unstructured":"Whitehead, A. N., The Concept of Nature, Cambridge University Press, Cambridge, 1920."}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-022-09994-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s11225-022-09994-1\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-022-09994-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,9,28]],"date-time":"2022-09-28T19:07:32Z","timestamp":1664392052000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s11225-022-09994-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,5,11]]},"references-count":36,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2022,10]]}},"alternative-id":["9994"],"URL":"https:\/\/doi.org\/10.1007\/s11225-022-09994-1","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"type":"print","value":"0039-3215"},{"type":"electronic","value":"1572-8730"}],"subject":[],"published":{"date-parts":[[2022,5,11]]},"assertion":[{"value":"9 March 2021","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"11 May 2022","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}