Rational region-based affine logic of the real plane

DOI10.1145/2897190MaRDI QIDQ5277922zbMATH OpenOpenAlexWikidataFDO

Authors Adam Trybus

Publication date 12 July 2017

Published in ACM Transactions on Computational Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/2897190

zbMATH Keywords

axiomatisationconvexityspatial logic

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30)

Recommendations

• An axiom system for a spatial logic with convexity
• A complete axiom system for polygonal mereotopology of the real plane
• Logics in Artificial Intelligence
• scientific article; zbMATH DE number 5241969
• Modal logics of some geometrical structures

Cites work

• An axiom system for a spatial logic with convexity
• Constraint networks of topological relations and convexity
• scientific article; zbMATH DE number 3151263 (Why is no real title available?)
• scientific article; zbMATH DE number 835756 (Why is no real title available?)
• Metamathematical discussion of some affine geometries

Cited in

(3)

• Three-dimensional affine spatial logics
• A categorical axiomatisation of region-based geometry
• An axiom system for a spatial logic with convexity

This page was built for publication: Rational region-based affine logic of the real plane

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