Abstract
The paper is in the field of region-based theory of space and time (RBTST). This is an extension of the region-based theory of space (RBTS) with time. Its origin goes back to some ideas of Whitehead, De Laguna, and Tarski and is related to the problem of how to build the theory of space without the use of the notion of point. The notion of contact algebra (CA) presents an algebraic formulation of RBTS. CA is an extension of Boolean algebra, considered as an algebra of spatial regions with an additional relation of contact. Dynamic contact algebra (DCA) considered as an algebraic formulation of RBTST is an extension of CA aiming to study regions changing in time. In this paper, we study a version of DCA incorporating an explicit predicate AE of actual existence. We first develop the representation theory of such DCAs by means of the so-called snapshot models. Second, we introduce topological models of DCA and develop the corresponding topological representation and duality theory.
Second Reader
I. Pratt-Hartmann
Manchester University
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
References
Aiello, M., Pratt-Hartmann, I., & van Benthem, J. (Eds.). (2007). Handbook of Spatial Logics. Dordrecht: Springer.
Bennett, B., & Düntsch, I. (2007). Axioms, algebras and topology. In Aiello, M., (Ed) Pratt-Hartmann and van Benthem (pp. 99–159).
de Laguna, T. (1922). Point, line and surface as sets of solids. The Journal of Philosophy, 19:449–461.
Dimov, G., Ivanova-Dimova, E., & Vakarelov, D. (2017). A generalization of the Stone duality theorem. Topology Appl., 221, 237–261.
Dimov, G. and Vakarelov, D. (2006). Contact algebras and region-based theory of space: A proximity approach - I, II. Fundamenta Informaticae, 74:209–282.
Düntsch, I. and Vakarelov, D. (2007). Region-based theory of discrete spaces: A proximity approach. Ann. Math. Artif. Intell., 49(1–4):5–14.
Engelking, R. (1977). General topology. PWN—Polish Scientific Publishers, Warsaw. Translated from the Polish by the author, Monografie Matematyczne, Tom 60. [Mathematical Monographs, Vol. 60].
Goldblatt, R., & Grice, M. (2016). Mereocompactness and duality for mereotopological spaces. In Journal of Michael Dunn on information based logics. Outstanding contributions to logic (Vol. 8, pp. 313–330). Cham: Springer.
Hahmann, T., & Grüninger, M. (2012). Region-based theories of space: Mereotopology and beyond. In Hazarika, S., (Ed.), Qualitative spatio-temporal representation and reasoning: Trends and future directions (pp. 1–62). IGI Global.
Mac Lane, S. (1998). Categories for the working mathematician. Graduate texts in mathematics (Vol. 5, 2nd Ed.). New York: Springer.
Naimpally, S. A., & Warrack, B. D. (1970). Proximity spaces. Cambridge tracts in mathematics and mathematical physics (Vol. 59). London: Cambridge University Press.
Pratt-Hartmann, I. (2007). First-order mereotopology. In In Aiello, M., (Ed) Pratt-Hartmann and van Benthem (pp. 13–97).
Sikorski, R. (1964). Boolean algebras (2nd Ed.). Ergebnisse der Mathematik und ihrer Grenzgebiete, NeueFolge, Band 25. New York: Academic Inc.; Berlin: Springer.
Simons, P. (1987). Parts. A study in ontology. (Oxford: Clarendon Press).
Stone, M. (1936). The theory of representations for Boolean algebras. Trans. Amer. Math. Soc., 40, 37–111.
Tarski, A. (1956). Foundation of the geometry of solids. In J. H. Woodger (Ed.), Logic, semantics, metamathematics (pp. 24–29). Oxford: Clarendon Press. Translation of the summary of an address given by A. Tarski to the First Polish Mathematical Congress, Lwów, 1927.
Thron, W. (1973). Proximity structures and grills. Math. Ann., 206:35–62.
Urquhart, A. (1978). A topological representation theorem for lattices. Algebra Universalis, 8:45–58.
Vakarelov, D. (1997). Proximity modal logic. In Proceedings of the 11th Amsterdam colloquium (pp. 301–306).
Vakarelov, D. (2007). Region-based theory of space: Algebras of regions, representation theory, and logics. In Mathematical problems from applied logic. II. International mathematical series (New York) (Vol. 5, pp. 267–348). Springer, New York.
Vakarelov, D. (2010). Dynamic mereotopology: A point-free theory of changing regions. I. Stable and unstable mereotopological relations. Fund Inform, 100(1–4), 159–180.
Vakarelov, D. (2012). Dynamic mereotopology II: Axiomatizing some Whiteheadean type space-time logics. Advances in modal logic (Vol. 9, pp. 538–558). London: Coll. Publ.
Vakarelov, D. (2014). Dynamic mereotopology. III. Whiteheadean type of integrated point-free theories of space and time. I. Algebra and Logic, 53(3), 191–205.
Vakarelov, D. (2016a). Dynamic mereotopology. III. Whiteheadian type of integrated point-free theories of space and time. II. Algebra and Logic, 55(1), 9–23.
Vakarelov, D. (2016b). Dynamic mereotopology. III. Whiteheadian type of integrated point-free theories of space and time. III. Algebra and Logic, 55(3), 181–197.
Vakarelov, D. (2017a). Actual existence predicate in mereology and mereotopology (extended abstract). In L. Polkowski, Y. Yao, P. Artiemjew, D. Ciucci, D. Liu, D. Ślȩzak, & B. Zielosko, (Eds.), Rough sets. International joint conference, IJCRS 2017, Proceedings Part II. LNAI (Vol. 10314, pp. 138–157).
Vakarelov, D. (2017b). Mereotopologies with predicates of actual existence and actual contact. Fund. Inform., 156(3–4):413–432.
Vakarelov, D. (2020). Point-free theories of space and time. Journal of Applied Logics - IFCoLog Journal of Logics and their Aapplications, 7(6), 1243–1321 (2020).
van Benthem, J. (1983). The logic of time. Reidel.
Whitehead, A. N. (1929). Process and reality: An essay in cosmology. New York: MacMillan. Revised Edition, edited by D.R. Griffin and D.W. Sherburne (1978).
Acknowledgments
The author is sponsored by Contract DN02/15/19.12.2016 with the Bulgarian NSF, project title Space, Time and Modality: Relational, Algebraic and Topological Models. Thanks are due to my colleagues Georgi Dimov, Tinko Tinchev, Philippe Balbiani, and Ivo Düntsch for the collaboration. I am very much indebted to Ian Pratt-Hartmann for carefully reading the manuscript and for helpful suggestions to improve the quality of the text.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2022 Springer Nature Switzerland AG
About this chapter
Cite this chapter
Vakarelov, D. (2022). Dynamic Contact Algebras with a Predicate of Actual Existence: Snapshot Representation and Topological Duality. In: Düntsch, I., Mares, E. (eds) Alasdair Urquhart on Nonclassical and Algebraic Logic and Complexity of Proofs. Outstanding Contributions to Logic, vol 22. Springer, Cham. https://doi.org/10.1007/978-3-030-71430-7_16
Download citation
DOI: https://doi.org/10.1007/978-3-030-71430-7_16
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-71429-1
Online ISBN: 978-3-030-71430-7
eBook Packages: Religion and PhilosophyPhilosophy and Religion (R0)