scientific article
From MaRDI portal
Publication:3447202
zbMath1329.68246MaRDI QIDQ3447202
Publication date: 28 June 2007
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Logic in artificial intelligence (68T27) Knowledge representation (68T30) Connected and locally connected spaces (general aspects) (54D05)
Related Items (27)
Dynamic contact algebras and quantifier-free logics for space and time ⋮ Admissibility and Unifiability in Contact Logics ⋮ On dimension andweight of a local contact algebra ⋮ A mereotopology based on sequent algebras ⋮ Discrete dualities for some algebras with relations ⋮ Subordinations on bounded distributive lattices ⋮ Relational representation for subordination Tarski algebras ⋮ A de Vries-type duality theorem for the category of locally compact spaces and continuous maps. I ⋮ Topology and measure in logics for region-based theories of space ⋮ Valueless measures on pointless spaces ⋮ Complementation in representable theories of region-based space ⋮ Logics for extended distributive contact lattices ⋮ Mereology then and now ⋮ Distributive contact lattices: topological representations ⋮ Contact Logic is Finitary for Unification with Constants ⋮ Mereocompactness and Duality for Mereotopological Spaces ⋮ Distributive mereotopology: extended distributive contact lattices ⋮ Relational representation theorems for extended contact algebras ⋮ A study in Grzegorczyk point-free topology. I: Separation and Grzegorczyk structures ⋮ A calculus of regions respecting both measure and topology ⋮ Extended contact algebras and internal connectedness ⋮ Subordination Tarski algebras ⋮ A strict implication calculus for compact Hausdorff spaces ⋮ Contact join-semilattices ⋮ Admissibility of \(\Pi_2\)-inference rules: interpolation, model completion, and contact algebras ⋮ Dynamic mereotopology. III: Whiteheadean type of integrated point-free theories of space and time. I ⋮ Dynamic Contact Algebras with a Predicate of Actual Existence: Snapshot Representation and Topological Duality
This page was built for publication:
