Connection structures

DOI10.1305/NDJFL/1093635748zbMATH Open0749.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

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)

Cited In (18)

• Carving Up space: Steps towards construction of an absolutely complete theory of spatial regions
• Title not available (Why is that?)
• FULL MEREOGEOMETRIES
• Complementation in representable theories of region-based space
• Ontologies for plane, polygonal mereotopology
• A relation-algebraic approach to the region connection calculus
• A proof system for contact relation algebras
• Title not available (Why is that?)
• A Proximity Approach to Some Region-Based Theories of Space
• 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
• Defining Measures in a Mereological Space (an exploratory paper)
• Contact join-semilattices
• 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)