Intuitionistic Mereology II: Overlap and Disjointness

&
Journal of Philosophical Logic 52 (4):1197-1233 (2023)
  Copy   BIBTEX

Abstract

This paper extends the axiomatic treatment of intuitionistic mereology introduced in Maffezioli and Varzi (_Synthese, 198_(S18), 4277–4302 2021 ) by examining the behavior of constructive notions of overlap and disjointness. We consider both (i) various ways of defining such notions in terms of other intuitionistic mereological primitives, and (ii) the possibility of treating them as mereological primitives of their own.

Categories

Keywords

Reprint years

DOI

10.1007/s10992-023-09703-w

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,610

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Intuitionistic mereology.Paolo Maffezioli & Achille C. Varzi - 2021 - Synthese 198 (Suppl 18):4277-4302.
Mereology then and now.Rafał Gruszczyński & Achille C. Varzi - 2015 - Logic and Logical Philosophy 24 (4):409–427.
Sequents for non-wellfounded mereology.Paolo Maffezioli - 2016 - Logic and Logical Philosophy 25 (3):351-369.
On Three Axiom Systems for Classical Mereology.Achille C. Varzi - 2019 - Logic and Logical Philosophy 28 (2):203–207.
Intuitionistic Overlap Structures.Francesco Ciraulo - 2013 - Logic and Logical Philosophy 22 (2):201-212.
Mereology.Achille C. Varzi - 2016 - Stanford Encyclopedia of Philosophy.
Analytic Rules for Mereology.Paolo Maffezioli - 2016 - Studia Logica 104 (1):79-114.
Semi-intuitionistic Logic.Juan Manuel Cornejo - 2011 - Studia Logica 98 (1-2):9-25.
Expressing Second-order Sentences in Intuitionistic Dependence Logic.Fan Yang - 2013 - Studia Logica 101 (2):323-342.
Bi-Simulating in Bi-Intuitionistic Logic.Guillermo Badia - 2016 - Studia Logica 104 (5):1037-1050.
An intuitionistic logic for preference relations.Paolo Maffezioli & Alberto Naibo - 2019 - Logic Journal of the IGPL 27 (4):434-450.
Kripke Completeness of Bi-intuitionistic Multilattice Logic and its Connexive Variant.Norihiro Kamide, Yaroslav Shramko & Heinrich Wansing - 2017 - Studia Logica 105 (6):1193-1219.
Mereology.Achille C. Varzi & A. J. Cotnoir - 2021 - Oxford: Oxford University Press.
Inquisitive Intuitionistic Logic.Wesley H. Holliday - 2020 - In Nicola Olivetti & Rineke Verbrugge (eds.), Advances in Modal Logic, Vol. 11. College Publications. pp. 329-348.
Natural axioms for classical mereology.Aaron Cotnoir & Achille C. Varzi - 2019 - Review of Symbolic Logic 12 (1):201-208.

Analytics

Added to PP
2023-05-22

Downloads
40 (#395,904)

6 months
14 (#175,908)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Paolo Maffezioli
Universitat de Barcelona
Achille C. Varzi
Columbia University

Citations of this work

No citations found.

Add more citations

References found in this work

Parts: A Study in Ontology.Peter M. Simons - 1987 - Oxford, England: Clarendon Press.
The Structure of Appearance.Nelson Goodman - 1951 - Cambridge, MA, USA: Harvard University Press.
Parts : a Study in Ontology.Peter Simons - 1987 - Revue de Métaphysique et de Morale 2:277-279.
Mereology.Achille C. Varzi & A. J. Cotnoir - 2021 - Oxford: Oxford University Press.
Constructivism in mathematics: an introduction.A. S. Troelstra - 1988 - New York, N.Y.: Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co.. Edited by D. van Dalen.

View all 27 references / Add more references