A monadic second-order version of Tarski's geometry of solids

DOI10.12775/LLP.2023.019MaRDI QIDQ6559162zbMATH OpenFDO

Authors Patrick Barlatier, Richard Dapoigny

Publication date 21 June 2024

Published in Logic and Logical Philosophy (Search for Journal in Brave)

Full work available at URL https://doi.org/10.12775/LLP.2023.019

zbMATH Keywords

calculus of inductive constructionsgeometry of solidsmereologymonadic second-order logictheorem provertype theory

Mathematics Subject Classification ID

Foundations of classical theories (including reverse mathematics) (03B30) Type theory (03B38) Polyhedra and polytopes; regular figures, division of spaces (51M20)

Recommendations

• Lesniewski, Tarski and the geometry of solids
• Full Development of Tarski's Geometry of Solids
• On Tarski's foundations of the geometry of solids
• Space, points and mereology. On foundations of point-free Euclidean geometry
• Pieces of mereology

Cites work

• A categorical axiomatisation of region-based geometry
• A comprehensive picture of the decidability of mereological theories
• A conceptualist interpretation of Lesniewski's ontology
• A formulation of the simple theory of types.
• A note on a problem concerning the axiomatic foundations of mereology
• A theory of prepositional types
• Algorithmic uses of the Feferman-Vaught theorem
• Classical mereology is not elementarily axiomatizable
• Foundations of the theory of parthood. A study of mereology. Translated from the Polish by Matthew Carmody
• Full Development of Tarski's Geometry of Solids
• FULL MEREOGEOMETRIES
• Hammer for Coq: automation for dependent type theory
• scientific article; zbMATH DE number 1135526 (Why is no real title available?)
• scientific article; zbMATH DE number 3342888 (Why is no real title available?)
• scientific article; zbMATH DE number 3061373 (Why is no real title available?)
• Interactive theorem proving and program development. Coq'Art: the calculus of inductive constructions. Foreword by Gérard Huet and Christine Paulin-Mohring.
• Is weak supplementation analytic?
• Lesniewski, Tarski and the geometry of solids
• Mereological sets of distributive classes
• Non-wellfounded mereology
• Notes on models of first-order mereological theories
• On Tarski's foundations of the geometry of solids
• Parts, wholes, and part-whole relations: The prospects of mereotopology
• Pieces of mereology
• Relation of Leśniewski's mereology to Boolean algebra
• Set-theoretic mereology
• Space, points and mereology. On foundations of point-free Euclidean geometry
• Spatial information theory. 12th international conference, COSIT 2015, Santa Fe, NM, USA, October 12--16, 2015. Proceedings
• Strict embedding of the elementary ontology into the monadic second-order calculus of predicates admitting the empty individual domain
• The calculus of individuals and its uses
• The Isabelle Framework

Cited in

(1)

• Lesniewski, Tarski and the geometry of solids

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)