8 citations · 8 across the 4 of their papers we have counts for
Showing 2025Show all
2 papers · 1 filter
cs.LO2025
A Coq-based Axiomatization of Tarski's Mereogeometry
Patrick Barlatier, Richard Dapoigny
During the last decade, the domain of Qualitative Spatial Reasoning, has known a renewal of interest for mereogeometry, a theory that has been initiated by Tarski. Mereogeometry re…
math.LO2025
A Topological Rewriting of Tarski's Mereogeometry
Patrick Barlatier, Richard Dapoigny
Qualitative spatial models based on Goodman-style mereology and pseudo-topology often pose problems for advanced geometric reasoning, as they lack true Euclidean geometry and fully…