Intuitionistic mereology
From MaRDI portal
Publication:6067323
DOI10.1007/s11229-018-02035-2zbMath1525.03092MaRDI QIDQ6067323
Paolo Maffezioli, Achille C. Varzi
Publication date: 14 December 2023
Published in: Synthese (Search for Journal in Brave)
Full work available at URL: http://philsci-archive.pitt.edu/15365/1/IntMerWeb.pdf
Other nonclassical logic (03B60) Subsystems of classical logic (including intuitionistic logic) (03B20)
Related Items (1)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Heyting mereology as a framework for spatial reasoning
- Inconsistent boundaries
- A general concept of being a part of a whole
- Intuitionism. An introduction
- What is classical mereology?
- Constructivism in mathematics. An introduction. Volume II
- Constructive mathematics: a foundation for computable analysis
- Nonclassical mereology and its application to sets
- Sequent calculus proof theory of intuitionistic apartness and order relations
- Untersuchungen über das logische Schliessen. I
- Metamathematical investigation of intuitionistic arithmetic and analysis. With contributions by C. A. Smorynski, J. I. Zucker and W. A. Howard
- Parts, classes and parts of classes: an anti-realist reading of Lewisian mereology
- NON-WELLFOUNDED MEREOLOGY
- Mereology then and now
- Classical mereology is not elementarily axiomatizable
- Order in open intervals of computable reals
- Über das Verhältnis zwischen intuitionistischer und klassischer Arithmetik
- Constructive version of Boolean algebra
- Intuitionistic overlap structures
This page was built for publication: Intuitionistic mereology
