Topological Representation of Contact Lattices
暂无分享,去创建一个
[1] Michael Winter,et al. Weak Contact Structures , 2005, RelMiCS.
[2] Dimiter Vakarelov,et al. Contact Algebras and Region-based Theory of Space: A Proximity Approach - I , 2006, Fundam. Informaticae.
[3] Gunther Schmidt,et al. Relational Methods in Computer Science , 1999, Inf. Sci..
[4] H. Wallman,et al. Lattices and Topological Spaces , 1938 .
[5] Ivo Düntsch,et al. A Proximity Approach to Some Region-Based Theories of Space , 2002, J. Appl. Non Class. Logics.
[6] Ivo Düntsch,et al. Region–based theory of discrete spaces: A proximity approach , 2007, Annals of Mathematics and Artificial Intelligence.
[7] Ivo Düntsch,et al. A note on proximity spaces and connection based mereology , 2001, FOIS.
[8] Dimiter Vakarelov,et al. Topological Representation of Precontact Algebras , 2005, RelMiCS.
[9] William Hugh Cornish. Crawley's completion of a conditionally upper continuous lattice. , 1974 .
[10] Michael Winter,et al. A representation theorem for Boolean contact algebras , 2005, Theor. Comput. Sci..
[11] Wendy MacCaull,et al. A Kripke Semantics for the Logic of Gelfand Quantales , 2001, Stud Logica.
[12] Dimiter Vakarelov,et al. Lattice-Based Paraconsistent Logic , 2005, RelMiCS.
[13] M. Stone. Topological representations of distributive lattices and Brouwerian logics , 1938 .