A monadic second-order version of Tarski's geometry of solids
From MaRDI portal
Publication:6559162
DOI10.12775/LLP.2023.019zbMATH Open1542.03035MaRDI QIDQ6559162FDOQ6559162
Authors: Patrick Barlatier, Richard Dapoigny 
Publication date: 21 June 2024
Published in: Logic and Logical Philosophy (Search for Journal in Brave)
Recommendations
monadic second-order logictype theorymereologytheorem provercalculus of inductive constructionsgeometry of solids
Foundations of classical theories (including reverse mathematics) (03B30) Polyhedra and polytopes; regular figures, division of spaces (51M20) Type theory (03B38)
Cites Work
- The Isabelle Framework
- Hammer for Coq: automation for dependent type theory
- Interactive theorem proving and program development. Coq'Art: the calculus of inductive constructions. Foreword by Gérard Huet and Christine Paulin-Mohring.
- Title not available (Why is that?)
- Non-wellfounded mereology
- The calculus of individuals and its uses
- Pieces of mereology
- A comprehensive picture of the decidability of mereological theories
- Relation of Leśniewski's mereology to Boolean algebra
- Algorithmic uses of the Feferman-Vaught theorem
- A theory of prepositional types
- On Tarski's foundations of the geometry of solids
- Parts, wholes, and part-whole relations: The prospects of mereotopology
- A conceptualist interpretation of Lesniewski's ontology
- Spatial information theory. 12th international conference, COSIT 2015, Santa Fe, NM, USA, October 12--16, 2015. Proceedings
- A note on a problem concerning the axiomatic foundations of mereology
- A categorical axiomatisation of region-based geometry
- Strict embedding of the elementary ontology into the monadic second-order calculus of predicates admitting the empty individual domain
- Classical mereology is not elementarily axiomatizable
- Space, points and mereology. On foundations of point-free Euclidean geometry
- Full Development of Tarski's Geometry of Solids
- Set-theoretic mereology
- A formulation of the simple theory of types.
- Mereological sets of distributive classes
- Notes on models of first-order mereological theories
- FULL MEREOGEOMETRIES
- Title not available (Why is that?)
- Foundations of the theory of parthood. A study of mereology. Translated from the Polish by Matthew Carmody
- Title not available (Why is that?)
- Title not available (Why is that?)
- Is weak supplementation analytic?
This page was built for publication: A monadic second-order version of Tarski's geometry of solids
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6559162)
