Analytic Rules for Mereology

Studia Logica 104 (1):79-114 (2016)
  Copy   BIBTEX

Abstract

We present a sequent calculus for extensional mereology. It extends the classical first-order sequent calculus with identity by rules of inference corresponding to well-known mereological axioms. Structural rules, including cut, are admissible

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 103,449

External links

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

Through your library

Analytics

Added to PP
2015-07-09

Downloads
55 (#409,745)

6 months
2 (#1,294,541)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

Mereology then and now.Rafał Gruszczyński & Achille C. Varzi - 2015 - Logic and Logical Philosophy 24 (4):409–427.
Cut elimination for coherent theories in negation normal form.Paolo Maffezioli - 2024 - Archive for Mathematical Logic 63 (3):427-445.
Sequents for non-wellfounded mereology.Paolo Maffezioli - 2016 - Logic and Logical Philosophy 25 (3):351-369.

Add more citations

References found in this work

Parts: A Study in Ontology.Peter M. Simons - 1987 - Oxford, England: Clarendon Press.
The calculus of individuals and its uses.Henry S. Leonard & Nelson Goodman - 1940 - Journal of Symbolic Logic 5 (2):45-55.
What Is Classical Mereology?Paul Hovda - 2009 - Journal of Philosophical Logic 38 (1):55 - 82.
Proof Analysis in Modal Logic.Sara Negri - 2005 - Journal of Philosophical Logic 34 (5-6):507-544.
Non-wellfounded Mereology.Aaron J. Cotnoir & Andrew Bacon - 2012 - Review of Symbolic Logic 5 (2):187-204.

View all 9 references / Add more references