An axiom system for a spatial logic with convexity

DOI10.3233/978-1-60750-606-5-701MaRDI QIDQ2999205zbMATH OpenFDO

Authors Adam Trybus

Publication date 11 May 2011

Mathematics Subject Classification ID

Foundations of classical theories (including reverse mathematics) (03B30) Basic properties of first-order languages and structures (03C07) Other applications of logic (03B80)

Recommendations

• Rational region-based affine logic of the real plane
• A complete axiom system for polygonal mereotopology of the real plane
• An axiom system for incidence spatial geometry
• Logics of space with connectedness predicates: complete axiomatizations
• Modal logics of some geometrical structures

Cited in

(8)

• A Logic of East and West
• CONDITIONAL LOGIC IS COMPLETE FOR CONVEXITY IN THE PLANE
• Three-dimensional affine spatial logics
• An axiomatization of the \(d\)-logic of planar polygons
• Logics of space with connectedness predicates: complete axiomatizations
• scientific article; zbMATH DE number 5295702 (Why is no real title available?)
• Point-free geometry, ovals, and half-planes
• Rational region-based affine logic of the real plane

This page was built for publication: An axiom system for a spatial logic with convexity

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