论文信息 - Moving Spaces

Moving Spaces

Boolean contact algebras constitute a convenient approach to a region based theory of space. In this paper we want to extend this approach to regions moving in time - called timed contact structures. We study their canonical models using topological spaces. As the main contribution we prove a general representation theorem for this kind of algebras.

Michael Winter | Ivo Düntsch

[1] Ivo Düntsch,et al. A Proximity Approach to Some Region-Based Theories of Space , 2002, J. Appl. Non Class. Logics.

[2] Michael Winter,et al. Remarks on lattices of contact relations Preliminary report , 2006 .

[3] Michael Winter,et al. Topological Representation of Contact Lattices , 2006, RelMiCS.

[4] Dimiter Vakarelov,et al. Contact Algebras and Region-based Theory of Space: A Proximity Approach - I , 2006, Fundam. Informaticae.

[5] T. D. Laguna. Point, Line, and Surface, as Sets of Solids , 1922 .

[6] Michael Winter,et al. The Lattice of Contact Relations on a Boolean Algebra , 2008, RelMiCS.

[7] Ivo Düntsch,et al. Region–based theory of discrete spaces: A proximity approach , 2007, Annals of Mathematics and Artificial Intelligence.

[8] Ivo Düntsch,et al. A note on proximity spaces and connection based mereology , 2001, FOIS.

[9] Michael Winter,et al. Weak Contact Structures , 2005, RelMiCS.

[10] Dimiter Vakarelov,et al. Region-Based Theory of Space: Algebras of Regions, Representation Theory, and Logics , 2007 .

[11] Dimiter Vakarelov,et al. Topological Representation of Precontact Algebras , 2005, RelMiCS.

[12] Michael Winter,et al. A representation theorem for Boolean contact algebras , 2005, Theor. Comput. Sci..