Analytic rules for mereology

DOI10.1007/s11225-015-9623-2zbMath1392.03058OpenAlexW872031084MaRDI QIDQ300557

Paolo Maffezioli

Publication date: 28 June 2016

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11225-015-9623-2

zbMATH Keywords

cut eliminationsequent calculusextensional mereology

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Structure of proofs (03F07)

Related Items (1)

Mereology then and now

Uses Software

• Pesca

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Proof analysis in modal logic
• What is classical mereology?
• Contraction-free sequent calculi for geometric theories with an application to Barr's theorem
• Parts, classes and parts of classes: an anti-realist reading of Lewisian mereology
• NON-WELLFOUNDED MEREOLOGY
• Proof Analysis
• Ultimate Normal Forms for Parallelized Natural Deductions
• Cut Elimination in the Presence of Axioms
• Proof analysis beyond geometric theories: from rule systems to systems of rules
• Proof theory

This page was built for publication: Analytic rules for mereology