Three-dimensional affine spatial logics

DOI10.1007/s11787-022-00313-9OpenAlexW4295678685MaRDI QIDQ2688870

Adam Trybus

Publication date: 6 March 2023

Published in: Logica Universalis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11787-022-00313-9

zbMATH Keywords

affine geometryqualitative spatial reasoningspatial logic

Mathematics Subject Classification ID

Logic in computer science (03B70) Classical first-order logic (03B10)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Essays on the foundations of mathematics by Moritz Pasch. Edited by Stephen Pollard
• Constraint networks of topological relations and convexity
• A calculus of regions respecting both measure and topology
• Handbook of Spatial Logics
• What are logical notions?
• Metamathematical discussion of some affine geometries
• Rational Region-Based Affine Logic of the Real Plane
• Alfred Tarski
• A FORMAL SYSTEM FOR EUCLID’SELEMENTS

This page was built for publication: Three-dimensional affine spatial logics