Connection structures
From MaRDI portal
Publication:1183718
DOI10.1305/ndjfl/1093635748zbMath0749.06004OpenAlexW4237275816MaRDI QIDQ1183718
Loredana Biacino, Giangiacomo Gerla
Publication date: 28 June 1992
Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1305/ndjfl/1093635748
connectednesscalculus of individualscomplete atomless Boolean algebrasClarke systemcomplete orthocomplemented lattices
Complemented lattices, orthocomplemented lattices and posets (06C15) Quantum logic (03G12) Logical aspects of Boolean algebras (03G05)
Related Items (16)
Connection structures: Grzegorczyk's and Whitehead's definitions of point ⋮ Defining Measures in a Mereological Space (an exploratory paper) ⋮ Ontologies for plane, polygonal mereotopology ⋮ Mereotopological connection ⋮ Complementation in representable theories of region-based space ⋮ A relation-algebraic approach to the region connection calculus ⋮ FULL MEREOGEOMETRIES ⋮ A Proximity Approach to Some Region-Based Theories of Space ⋮ Carving Up space: Steps towards construction of an absolutely complete theory of spatial regions ⋮ A proof system for contact relation algebras ⋮ Contact join-semilattices ⋮ Stonian p-ortholattices: a new approach to the mereotopology \(RT_{0}\) ⋮ Boolean connection algebras: A new approach to the Region-Connection Calculus ⋮ A representation theorem for Boolean contact algebras ⋮ Combining topological and size information for spatial reasoning ⋮ A formal theory for reasoning about parthood, connection, and location
This page was built for publication: Connection structures
