Intuitionistic mereology

DOI10.1007/S11229-018-02035-2MaRDI QIDQ6067323zbMATH OpenFDO

Authors 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

zbMATH Keywords

apartnessexcessextensionalityintuitionismmereology

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Other nonclassical logic (03B60)

Recommendations

• Intuitionistic mereology. II: Overlap and disjointness
• Pieces of mereology
• scientific article; zbMATH DE number 1832239
• Nonclassical mereology and its application to sets
• Mereology

Cites work

• A general concept of being a part of a whole
• Classical mereology is not elementarily axiomatizable
• Constructive mathematics: a foundation for computable analysis
• Constructive suprema
• Constructive version of Boolean algebra
• Constructivism in mathematics. An introduction. Volume II
• Heyting mereology as a framework for spatial reasoning
• scientific article; zbMATH DE number 3702742 (Why is no real title available?)
• scientific article; zbMATH DE number 3787631 (Why is no real title available?)
• scientific article; zbMATH DE number 1135526 (Why is no real title available?)
• scientific article; zbMATH DE number 1795225 (Why is no real title available?)
• scientific article; zbMATH DE number 1420795 (Why is no real title available?)
• scientific article; zbMATH DE number 3222098 (Why is no real title available?)
• scientific article; zbMATH DE number 3313428 (Why is no real title available?)
• scientific article; zbMATH DE number 3333262 (Why is no real title available?)
• Inconsistent boundaries
• Intuitionism. An introduction
• Intuitionistic overlap structures
• Mereology then and now
• Metamathematical investigation of intuitionistic arithmetic and analysis. With contributions by C. A. Smorynski, J. I. Zucker and W. A. Howard
• Non-wellfounded mereology
• Nonclassical mereology and its application to sets
• Order in open intervals of computable reals
• Parts, classes and parts of classes: an anti-realist reading of Lewisian mereology
• Sequent calculus proof theory of intuitionistic apartness and order relations
• Untersuchungen über das logische Schliessen. I
• What is classical mereology?
• Über das Verhältnis zwischen intuitionistischer und klassischer Arithmetik

Cited in

(9)

• Mereological vagueness and existential vagueness
• New axioms for mereology
• The mereological foundation of megethology
• Natural Mereology and Classical Mereology
• A comprehensive picture of the decidability of mereological theories
• Słupecki's Generalized Mereology and Its Flaws
• scientific article; zbMATH DE number 269623 (Why is no real title available?)
• Intuitionistic mereology. II: Overlap and disjointness
• Fusions in intuitionistic mereology

This page was built for publication: Intuitionistic mereology

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6067323)