Proof-theoretic pluralism

DOI10.1007/s11229-019-02217-6zbMath1525.03079OpenAlexW2941823993MaRDI QIDQ6088951

Filippo Ferrari, Eugenio Orlandelli

Publication date: 14 December 2023

Published in: Synthese (Search for Journal in Brave)

Full work available at URL: https://hdl.handle.net/11585/685616

zbMATH Keywords

harmonyformalityrelevance logicsequent calculiproof-theoretic semanticsnecessitylogical pluralismnormativity

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Pluralism and proofs
• Why conclusions should remain single
• Logical constants as punctuation marks
• Relevant restricted quantification
• Sequent-systems and groupoid models. I
• Sequent-systems and groupoid models. II
• Dual-intuitionistic logic
• Quine and Slater on paraconsistency and deviance
• Harmony and autonomy in classical logic
• Restall's proof-theoretic pluralism and relevance logic
• Handbook of philosophical logic. Vol. 5
• Untersuchungen über das logische Schliessen. I
• Logicality, double-line rules, and modalities
• On Inversion Principles
• Logical Pluralism
• Varieties of Logic
• WEAK DISHARMONY: SOME LESSONS FOR PROOF-THEORETIC SEMANTICS
• A proof of Gentzen's \textit{Hauptsatz} without multicut

This page was built for publication: Proof-theoretic pluralism