An axiom system for a spatial logic with convexity

DOI10.3233/978-1-60750-606-5-701zbMATH Open1211.03022MaRDI QIDQ2999205FDOQ2999205

Authors: Adam Trybus 

Publication date: 11 May 2011

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

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)

Cited In (8)

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

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)