A monadic second-order version of Tarski's geometry of solids
From MaRDI portal
Publication:6559162
DOI10.12775/llp.2023.019zbMath1542.03035MaRDI QIDQ6559162
Richard Dapoigny, Patrick Barlatier
Publication date: 21 June 2024
Published in: Logic and Logical Philosophy (Search for Journal in Brave)
monadic second-order logicmereologytype theorytheorem provercalculus of inductive constructionsgeometry of solids
Polyhedra and polytopes; regular figures, division of spaces (51M20) Foundations of classical theories (including reverse mathematics) (03B30) Type theory (03B38)
This page was built for publication: A monadic second-order version of Tarski's geometry of solids
