Analytic rules for mereology

DOI10.1007/S11225-015-9623-2MaRDI QIDQ300557zbMATH OpenOpenAlexFDO

Authors 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)

Recommendations

• Pieces of mereology
• scientific article; zbMATH DE number 1832239
• Mereology on topological and convergence spaces
• General extensional mereology is finitely axiomatizable
• Decidability of general extensional mereology

Cites work

• scientific article; zbMATH DE number 1497485 (Why is no real title available?)
• scientific article; zbMATH DE number 194916 (Why is no real title available?)
• Contraction-free sequent calculi for geometric theories with an application to Barr's theorem
• Cut Elimination in the Presence of Axioms
• Non-wellfounded mereology
• Parts, classes and parts of classes: an anti-realist reading of Lewisian mereology
• Proof Analysis
• Proof analysis beyond geometric theories: from rule systems to systems of rules
• Proof analysis in modal logic
• Proof theory
• Structural proof theory. With an appendix by Aarne Ranta
• Ultimate Normal Forms for Parallelized Natural Deductions
• What is classical mereology?

Cited in

(2)

• New axioms for mereology
• Mereology then and now

Describes a project that uses

Uses Software

• Pesca

This page was built for publication: Analytic rules for mereology

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