Intuitionistic mereology. II: Overlap and disjointness
From MaRDI portal
Publication:6166132
DOI10.1007/s10992-023-09703-wMaRDI QIDQ6166132
Achille C. Varzi, Paolo Maffezioli
Publication date: 2 August 2023
Published in: Journal of Philosophical Logic (Search for Journal in Brave)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Intuitionism. An introduction
- What is classical mereology?
- Constructivism in mathematics. An introduction. Volume I
- General extensional mereology is finitely axiomatizable
- Sequent calculus proof theory of intuitionistic apartness and order relations
- `Outside' as a primitive notion in constructive projective geometry
- Classical mereology is not elementarily axiomatizable
- Constructive set theory
- Choice Implies Excluded Middle
- Order in open intervals of computable reals
- Constructive version of Boolean algebra
- Intuitionistic overlap structures
- Mereology
- Does Choice Really Imply Excluded Middle? Part II: Historical, Philosophical, and Foundational Reflections on the Goodman–Myhill Result†
- Does Choice Really Imply Excluded Middle? Part I: Regimentation of the Goodman–Myhill Result, and Its Immediate Reception†
- THE CALCULUS OF THE WEAK "LAW OF EXCLUDED MIDDLE"
- Intuitionistic mereology
- Did Euclid Prove Elements I, 1? The Early Modern Debate on Intersections and Continuity
- Gapless Lines and Gapless Proofs: Intersections and Continuity in Euclid’s Elements
This page was built for publication: Intuitionistic mereology. II: Overlap and disjointness
