{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,16]],"date-time":"2026-04-16T21:09:11Z","timestamp":1776373751114,"version":"3.51.2"},"publisher-location":"Dordrecht","reference-count":78,"publisher":"Springer Netherlands","isbn-type":[{"value":"9781402055867","type":"print"},{"value":"9781402055874","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007]]},"DOI":"10.1007\/978-1-4020-5587-4_12","type":"book-chapter","created":{"date-parts":[[2007,9,1]],"date-time":"2007-09-01T09:19:57Z","timestamp":1188638397000},"page":"713-798","source":"Crossref","is-referenced-by-count":9,"title":["Discrete Spatial Models"],"prefix":"10.1007","author":[{"given":"Michael B.","family":"Smyth","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Julian","family":"Webster","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"12_CR1","doi-asserted-by":"crossref","unstructured":"A. V. Borovik, I. M. Gelfand and White, N. (2003). Coxeter matroids. Birkhauser.","DOI":"10.1007\/978-1-4612-2066-4"},{"key":"12_CR2","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1137\/S089548019426348X","volume":"9","author":"O. Aichholzer","year":"1996","unstructured":"Aichholzer, O. and Aurenhammer, F. (1996). Classifying hyperplanes in hyper-cubes. SIAM J. Discrete Math., 9:225\u2013232.","journal-title":"SIAM J. Discrete Math."},{"key":"12_CR3","doi-asserted-by":"crossref","first-page":"211","DOI":"10.1016\/S0195-6698(89)80053-8","volume":"10","author":"H.-J. Bandelt","year":"1989","unstructured":"Bandelt, H.-J. and Pesch, E. (1989). Dismantling absolute retracts of reflexive graphs. European J. Combinatorics, 10:211\u2013220.","journal-title":"European J. Combinatorics"},{"key":"12_CR4","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1093\/oxfordjournals.bjps\/37.1.83","volume":"37","author":"J. L. Bell","year":"1986","unstructured":"Bell, J. L. (1986). Anew approach to quantum logic. Brit. J. Phil. Sci., 37:83\u201399.","journal-title":"Brit. J. Phil. Sci."},{"key":"12_CR5","doi-asserted-by":"crossref","first-page":"431","DOI":"10.1305\/ndjfl\/1039886519","volume":"37","author":"L. Biacino","year":"1991","unstructured":"Biacino, L. and Gerla, G. (1991). Connection structures. Notre Dame J. Formal Logic, 37:431\u2013439.","journal-title":"Notre Dame J. Formal Logic"},{"key":"12_CR6","unstructured":"Birkhoff, G. (1948). Lattice Theory, revised edition. Am. Math. Soc. Publications."},{"key":"12_CR7","doi-asserted-by":"publisher","first-page":"823","DOI":"10.2307\/1968621","volume":"37","author":"G. Birkhoff","year":"1936","unstructured":"Birkhoff, G. and von Neumann, J. (1936). The logic of quantum mechanics. Ann. Math., 37:823\u2013843.","journal-title":"Ann. Math."},{"key":"12_CR8","unstructured":"Bj\u00f6rner, A., Vergnas, M. Las, Sturmfels, B., White, N., and Ziegler, G. (1993). Oriented Matroids. Cambridge University Press."},{"issue":"1","key":"12_CR9","doi-asserted-by":"publisher","first-page":"94","DOI":"10.1016\/0095-8956(78)90080-1","volume":"24","author":"R. G. Bland","year":"1978","unstructured":"Bland, R. G. and Vergnas, M. Las (1978). Orientability of matroids. J. Combin. Theory Ser. B, 24(1):94\u2013123.","journal-title":"J. Combin. Theory Ser. B"},{"key":"12_CR10","unstructured":"Brandst\u00e4dt, A., Le, V., and Spinrad, J. (1999). Graph Classes. SIAM Monographs in Discrete Mathematics and Applications."},{"key":"12_CR11","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1006\/jctb.1999.1935","volume":"78","author":"G. Brightwell","year":"2000","unstructured":"Brightwell, G. (2000). Gibbs measures and dismantlable graphs. J. Comb. Theory, Series B, 78:141\u2013166.","journal-title":"J. Comb. Theory, Series B"},{"key":"12_CR12","doi-asserted-by":"crossref","unstructured":"Brown, K. S. (1989). Buildings. Springer-Verlag.","DOI":"10.1007\/978-1-4612-1019-1"},{"key":"12_CR13","unstructured":"\u010cech, E. (1966). Topological Spaces. John Wiley."},{"key":"12_CR14","doi-asserted-by":"crossref","unstructured":"Clarke, B. (1981).Acalculus of individuals based on \u201cconnection\u201d. Notre Dame J. Formal Logic, pages 204\u2013218.","DOI":"10.1305\/ndjfl\/1093883455"},{"key":"12_CR15","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1305\/ndjfl\/1093870761","volume":"26","author":"B. Clarke","year":"1985","unstructured":"Clarke, B. (1985). Individuals and points. Notre Dame J. Formal Logic, 26: 61\u201375.","journal-title":"Notre Dame J. Formal Logic"},{"key":"12_CR16","doi-asserted-by":"crossref","unstructured":"Coecke, B., Moore, D., and Wilce, A. (2000). Operational quantum logic:an overview. In Coecke, B., Moore, D., and Wilce, A., editors, Current Research in Operational Quantum Logic: Algebras, Categories, Languages. Kluwer.","DOI":"10.1007\/978-94-017-1201-9_1"},{"key":"12_CR17","doi-asserted-by":"crossref","unstructured":"Cohen, D. W. (1989). An Introduction to Hilbert Space and Quantum Logic. Springer-Verlag.","DOI":"10.1007\/978-1-4613-8841-8"},{"key":"12_CR18","doi-asserted-by":"publisher","first-page":"275","DOI":"10.1023\/A:1009712514511","volume":"1","author":"A. Cohn","year":"1997","unstructured":"Cohn, A., Bennett, B., Gooday, J., and Gotts, N. (1997). RCC: a calculus for region based qualitative spatial reasoning. GeoInformatica, 1:275\u2013316.","journal-title":"GeoInformatica"},{"key":"12_CR19","unstructured":"Coppel, W. (1998). Foundations of Convex Geometry. Cambridge University Press."},{"key":"12_CR20","doi-asserted-by":"publisher","first-page":"307","DOI":"10.1016\/0095-8956(88)90039-1","volume":"44","author":"P. Duchet","year":"1988","unstructured":"Duchet, P. (1988). Convex sets in graphs II, minimal path convexity. J. Combin. Theory Series B, 44:307\u2013316.","journal-title":"J. Combin. Theory Series B"},{"key":"12_CR21","doi-asserted-by":"crossref","unstructured":"Duchet, P. and Meyniel, H. (1983). Ensembles convexes dans les graphes I. European J. Combinatorics, pages 127\u2013132.","DOI":"10.1016\/S0195-6698(83)80041-9"},{"key":"12_CR22","doi-asserted-by":"crossref","unstructured":"Dvure\u010denskij, A. and Pulmannov\u00e1, S. (2000). New Trends in Quantum Structures. Kluwer.","DOI":"10.1007\/978-94-017-2422-7"},{"key":"12_CR23","volume-title":"General Topology","author":"R. Engelking","year":"1989","unstructured":"Engelking, R. (1989). General Topology. Heldermann, Berlin, revised edition edition."},{"key":"12_CR24","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1007\/BF00119834","volume":"6","author":"A. Evako","year":"1996","unstructured":"Evako, A., Kopperman, R., and Mukhin, Y. V. (1996). Dimensional properties of graphs and digital spaces. J. Math. Imaging and Vision, 6:109\u2013119.","journal-title":"J. Math. Imaging and Vision"},{"key":"12_CR25","doi-asserted-by":"publisher","first-page":"1553","DOI":"10.1007\/BF00670697","volume":"33","author":"A. V. Evako","year":"1994","unstructured":"Evako, A. V. (1994). Dimension on discrete spaces. Int. J. Theoretical Physics, 33:1553\u20131568.","journal-title":"Int. J. Theoretical Physics"},{"key":"12_CR26","doi-asserted-by":"crossref","unstructured":"Faure, C.-A. and Fr\u00f6licher, A. (2000). Modern projective geometry. Kluwer.","DOI":"10.1007\/978-94-015-9590-2"},{"issue":"2","key":"12_CR27","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1016\/0095-8956(78)90039-4","volume":"25","author":"J. Folkman","year":"1978","unstructured":"Folkman, J. and Lawrence, J. (1978). Oriented matroids. J. Combin. Theory Ser. B, 25(2):199\u2013236.","journal-title":"J. Combin. Theory Ser. B"},{"key":"12_CR28","doi-asserted-by":"crossref","unstructured":"Foulis, D. J. (1999). A half century of quantum logic: what have we learned? In Aerts, D. and Pykacs, J., editors, Quantum Structures and the Nature of Reality, pages 1\u201336. Kluwer.","DOI":"10.1007\/978-94-017-2834-8_1"},{"key":"12_CR29","doi-asserted-by":"crossref","unstructured":"Foulis, D. J. and Randell, C. (1971). Lexicographic orthogonality. J. Combinatorial Theory, pages 157\u2013162.","DOI":"10.1016\/0097-3165(71)90040-9"},{"key":"12_CR30","doi-asserted-by":"publisher","first-page":"531","DOI":"10.1093\/jigpal\/11.5.531","volume":"11","author":"K. Georgatos","year":"2003","unstructured":"Georgatos, K. (2003). On indistinguishability and prototypes. Logic J. of the IGPL, 11:531\u2013545.","journal-title":"Logic J. of the IGPL"},{"key":"12_CR31","unstructured":"Hell, P. and Ne\u0161et\u0159il, J. (2004). Graphs and Homomorphisma. Oxford University Press."},{"key":"12_CR32","unstructured":"Hurewicz, W. and Wallman, H. (1948). Dimension Theory. Princeton University Press."},{"key":"12_CR33","unstructured":"Kalmbach, G. (1983). Orthomodular Lattices. Academic Press."},{"key":"12_CR34","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0166-8641(90)90031-V","volume":"35","author":"E. Khalimsky","year":"1990","unstructured":"Khalimsky, E., Kopperman, R., and Meyer, P. (1990). Computer graphics and connected topologies on ordered sets of points. Topology Appl., 35:1\u201317.","journal-title":"Topology Appl."},{"key":"12_CR35","unstructured":"Knuth, D. E. (1991). Axioms and Hulls. Lecture Notes in Computer Science 606. Springer-Verlag."},{"key":"12_CR36","unstructured":"Lane, S. Mac and Birkhoff, G. (1967). Algebra. Macmillan, 2nd edition."},{"key":"12_CR37","doi-asserted-by":"crossref","first-page":"279","DOI":"10.1007\/BFb0084226","volume":"1488","author":"F. Lawvere","year":"1991","unstructured":"Lawvere, F. (1991). Intrinsic co-Heyting boundaries and the Leibniz rule in certain toposes. (Springer) Lect. Notes in Math., 1488:279\u2013281.","journal-title":"(Springer) Lect. Notes in Math."},{"key":"12_CR38","doi-asserted-by":"crossref","unstructured":"Markopoulou, F. and Smolin, L. (1997). Causal evolution of spin networks. Nucl. Phys.B508, page 409.","DOI":"10.1016\/S0550-3213(97)80019-3"},{"key":"12_CR39","doi-asserted-by":"crossref","unstructured":"Martin, N. N. and Pollard, S. (1996). Closure Spaces and Logic. Kluwer.","DOI":"10.1007\/978-1-4757-2506-3"},{"key":"12_CR40","doi-asserted-by":"crossref","unstructured":"Oxley, J. (1992a). Infinite matroids. In White, N., editor, Matroid Applications, pages 73\u201390. Cambridge University Press.","DOI":"10.1017\/CBO9780511662041.004"},{"key":"12_CR41","unstructured":"Oxley, J. (1992b). Matroid Theory. Oxford University Press."},{"key":"12_CR42","unstructured":"Pagliani, P. (1998). Intrinsic co-Heyting boundaries and informatin incompleteness in rough set analysis. In Polkowski, L. and Skowron, A., editors, RSTC\u201998, volume 1424 of LNAI, pages 123\u2013130."},{"key":"12_CR43","unstructured":"Penrose, R. (1971). Angular momentum: an approach to combinatorial space-time. In Quantum Theory and Beyond. Cambridge University Press."},{"key":"12_CR44","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1016\/0012-365X(96)00043-X","volume":"154","author":"J. L. Pfaltz","year":"1996","unstructured":"Pfaltz, J. L. (1996). Closure lattices. Discrete Mathematics, 154:217\u2013236.","journal-title":"Discrete Mathematics"},{"key":"12_CR45","volume-title":"La Valeur de la Science","author":"H. Poincar\u00e9","year":"1905","unstructured":"Poincar\u00e9, H. (1905). La Valeur de la Science. Flammarion, Paris."},{"key":"12_CR46","unstructured":"Poston, T. (1971). Fuzzy Geometry. PhD thesis, University of Warwick."},{"issue":"2","key":"12_CR47","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1305\/ndjfl\/1039724888","volume":"38","author":"I. Pratt","year":"1997","unstructured":"Pratt, I. and Lemon, O. (1997). Ontologies for plane, polygonal mereotopology. Notre Dame J. Formal Logic, 38(2):225\u2013245.","journal-title":"Notre Dame J. Formal Logic"},{"key":"12_CR48","doi-asserted-by":"crossref","unstructured":"Prenowitz, W. and Jantosciak, J. (1979). Join Geometries. Springer-Verlag.","DOI":"10.1007\/978-1-4613-9438-9"},{"key":"12_CR49","unstructured":"Pt\u00e1k, P. and Pulmannov\u00e1, S. (1991). Orthomodular Structures as Quantum Logics. Kluwer."},{"key":"12_CR50","unstructured":"Pultr, A. (1963). An analogon of the fixed-point theorem and its application for graphs. Comment.Math. Univ. Carol."},{"key":"12_CR51","unstructured":"Quilliot, A. (1983). Homomorphismes, points fixes, r\u00e9tractions et jeux de pour-suite dans les graphes. PhD thesis, Paris."},{"key":"12_CR52","unstructured":"Randell, D., Cui, Z., and Cohn, A. (1992). A spatial logic based on regions and connection. In Proc. 2nd Int. Conf. on Knowledge Representation and Reasoning, pages 165\u2013176."},{"key":"12_CR53","doi-asserted-by":"crossref","unstructured":"Reyes, G. and Zolfaghari, H. (1996). Bi-Heyting algebras, toposes and modalities. J. Philos. Logic, 25.","DOI":"10.1007\/BF00357841"},{"key":"12_CR54","unstructured":"Ronan, M. (1989). Lectures on Buildings. Academic Press."},{"key":"12_CR55","doi-asserted-by":"publisher","first-page":"177","DOI":"10.1016\/0167-8655(86)90017-6","volume":"4","author":"A. Rosenfeld","year":"1986","unstructured":"Rosenfeld,A. (1986). \u201cContinuous\u201d functions on digital pictures. Pattern Recog. Letters, 4:177\u2013184.","journal-title":"Pattern Recog. Letters"},{"key":"12_CR56","doi-asserted-by":"crossref","unstructured":"Roy, A. and Stell, J. (2002). A qualitative account of discrete space. In Proc. 2nd Int. Conf. on Geographic Information Science, volume 2478 of LNCS, pages 276\u2013290. Springer.","DOI":"10.1007\/3-540-45799-2_19"},{"key":"12_CR57","unstructured":"Smolin, L. (2001). Three Roads to Quantum Gravity. Weidenfeld and Nicholson."},{"key":"12_CR58","doi-asserted-by":"publisher","first-page":"257","DOI":"10.1016\/0304-3975(95)00053-Y","volume":"151","author":"M. B. Smyth","year":"1995","unstructured":"Smyth, M. B. (1995). Semi-metrics, closure spaces and digital topology. Theoret. Comput. Sci., 151:257\u2013276.","journal-title":"Theoret. Comput. Sci."},{"key":"12_CR59","doi-asserted-by":"crossref","unstructured":"Smyth, M. B. (1997). Topology and tolerance. Electron. Notes in Theoret. Comput. Sci.,6.","DOI":"10.1016\/S1571-0661(05)80151-3"},{"key":"12_CR60","first-page":"447","volume":"6","author":"M. B. Smyth","year":"2000","unstructured":"Smyth, M. B. (2000). Region-based discrete geometry. J. Universal Comput. Sci., 6:447\u2013459.","journal-title":"J. Universal Comput. Sci."},{"key":"12_CR61","first-page":"791","volume":"26","author":"M. B. Smyth","year":"2001","unstructured":"Smyth, M. B. and Tsaur, R. (2001\u20132002). Hyperconvex semi-metric spaces. Topology Proceedings, 26:791\u2013810.","journal-title":"Topology Proceedings"},{"key":"12_CR62","doi-asserted-by":"crossref","first-page":"1","DOI":"10.4995\/agt.2002.2063","volume":"3","author":"M. B. Smyth","year":"2002","unstructured":"Smyth, M. B. and Webster, J. (2002). Finite approximation of stably compact spaces. Applied General Topology, 3:1\u201328.","journal-title":"Applied General Topology"},{"key":"12_CR63","unstructured":"Sorkin, R. (2002). Causal sets: discrete gravity. In Gomberoff, A. and Marolf, D., editors, Valdivia Summer School, 2002 (to appear)."},{"key":"12_CR64","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1007\/BF00046585","volume":"5","author":"A. Sossinsky","year":"1986","unstructured":"Sossinsky, A. (1986). Tolerance space theory and some applications. Acta Applicandae Math., 5:137\u2013167.","journal-title":"Acta Applicandae Math."},{"key":"12_CR65","doi-asserted-by":"publisher","first-page":"111","DOI":"10.1016\/S0004-3702(00)00045-X","volume":"122","author":"J. Stell","year":"2000","unstructured":"Stell, J. (2000). Boolean connection algebras: a new approach to the Region-Connection Calculus. Artificial Intelligence, 122:111\u2013136.","journal-title":"Artificial Intelligence"},{"key":"12_CR66","doi-asserted-by":"publisher","first-page":"163","DOI":"10.1007\/3-540-63623-4_49","volume":"1329","author":"J. Stell","year":"1997","unstructured":"Stell, J. and Worboys, M. (1997). The algebraic structure of sets of regions. Lect. Notes in Comp. Sci., 1329:163\u2013174.","journal-title":"Lect. Notes in Comp. Sci."},{"key":"12_CR67","unstructured":"Stolfi, J. (1991). Oriented projective geometry. Academic Press."},{"key":"12_CR68","doi-asserted-by":"publisher","first-page":"492","DOI":"10.1017\/S1446788700029232","volume":"18","author":"R. Sumner","year":"1974","unstructured":"Sumner, R. (1974). Dacey graphs. J. Australian Math. Soc., 18:492\u2013502.","journal-title":"J. Australian Math. Soc."},{"key":"12_CR69","doi-asserted-by":"crossref","unstructured":"Tsaur, R. and Smyth, M. (2001). \u201cContinuous\u201d multifunctions in discrete spaces, with applications to fixed point theory. In Bertrand, G., Imiya, A., and Klette, R., editors, Digital and Image Geometry, volume 2243 of LNCS, pages 75\u201388. Springer.","DOI":"10.1007\/3-540-45576-0_5"},{"key":"12_CR70","unstructured":"Tsaur, R. and Smyth, M. (2004). Convexity in Helly graphs. In MFCSIT 2004 (to appear)."},{"key":"12_CR71","volume-title":"Theory of Convex Structures","author":"M. van de Vel","year":"1993","unstructured":"van de Vel, M. (1993). Theory of Convex Structures. Elsevier, Amsterdam."},{"issue":"2","key":"12_CR72","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1016\/0095-8956(80)90082-9","volume":"29","author":"M. Las Vergnas","year":"1980","unstructured":"Vergnas, M. Las (1980). Convexity in oriented matroids. J. Combin. Theory Ser. B, 29(2):231\u2013243.","journal-title":"J. Combin. Theory Ser. B"},{"key":"12_CR73","unstructured":"Webster, J. (1997). Topology and measure theory in the digital setting: on the approximation of spaces by inverse sequences of graphs. PhD thesis, Imperial College."},{"key":"12_CR74","unstructured":"Webster, R. (1995). Convexity. Oxford University Press."},{"key":"12_CR75","doi-asserted-by":"publisher","first-page":"509","DOI":"10.2307\/2371182","volume":"57","author":"H. Whitney","year":"1935","unstructured":"Whitney, H. (1935). On the abstract properties of linear dependence. American Journal of Mathematics, 57:509\u2013533.","journal-title":"American Journal of Mathematics"},{"key":"12_CR76","unstructured":"Wilce, A. (2004). Topological test spaces. To appear in: Int. J. Theor. Physics."},{"key":"12_CR77","volume-title":"Topology of 3-manifolds","author":"E. C. Zeeman","year":"1962","unstructured":"Zeeman, E. C. (1962). The topology of the brain and visual perception. In Fort, M. K., editor, Topology of 3-manifolds. Prentice Hall, NJ."},{"key":"12_CR78","doi-asserted-by":"crossref","unstructured":"Ziegler, G. M. (1995). Lectures on Polytopes. Springer.","DOI":"10.1007\/978-1-4613-8431-1"}],"container-title":["Handbook of Spatial Logics"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4020-5587-4_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,26]],"date-time":"2020-04-26T07:24:39Z","timestamp":1587885879000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4020-5587-4_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9781402055867","9781402055874"],"references-count":78,"URL":"https:\/\/doi.org\/10.1007\/978-1-4020-5587-4_12","relation":{},"subject":[],"published":{"date-parts":[[2007]]}}}