Connection structures

DOI10.1305/NDJFL/1093635748MaRDI QIDQ1183718zbMATH OpenOpenAlexFDO

Authors 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

zbMATH Keywords

connectednesscalculus of individualscomplete atomless Boolean algebrasClarke systemcomplete orthocomplemented lattices

Mathematics Subject Classification ID

Quantum logic (03G12) Complemented lattices, orthocomplemented lattices and posets (06C15) Logical aspects of Boolean algebras (03G05)

Recommendations

• Connection structures: Grzegorczyk's and Whitehead's definitions of point
• A relation-algebraic approach to the region connection calculus
• Individuals and points
• Connections
• scientific article; zbMATH DE number 4097187

Cited in

(19)

• scientific article; zbMATH DE number 1136374 (Why is no real title available?)
• FULL MEREOGEOMETRIES
• A proximity approach to some region-based theories of space
• Complementation in representable theories of region-based space
• Ontologies for plane, polygonal mereotopology
• Carving up space: steps towards construction of an absolutely complete theory of spatial regions
• A relation-algebraic approach to the region connection calculus
• A proof system for contact relation algebras
• scientific article; zbMATH DE number 5953505 (Why is no real title available?)
• Concept calculus: much better than
• Boolean connection algebras: A new approach to the Region-Connection Calculus
• A representation theorem for Boolean contact algebras
• Connection structures: Grzegorczyk's and Whitehead's definitions of point
• Contact join-semilattices
• Defining Measures in a Mereological Space (an exploratory paper)
• Mereotopological connection
• A formal theory for reasoning about parthood, connection, and location
• Combining topological and size information for spatial reasoning
• Stonian p-ortholattices: a new approach to the mereotopology \(RT_{0}\)

This page was built for publication: Connection structures

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1183718)