Proof-theoretic pluralism
From MaRDI portal
Recommendations
- Pluralism and proofs
- PLURALISM IN LOGIC
- Plural logicism
- Restall's proof-theoretic pluralism and relevance logic
- Logical pluralism
- Logical pluralism and logical form
- Logical pluralism and interpretations of logical systems
- A note on mathematical pluralism and logical pluralism
- Alethic pluralism and logical consequence
- Pluralism in probabilistic justification
Cites work
- A proof of Gentzen's \textit{Hauptsatz} without multicut
- Double-line harmony in a sequent setting
- Dual-intuitionistic logic
- Handbook of philosophical logic. Vol. 5
- Harmony and autonomy in classical logic
- scientific article; zbMATH DE number 3124827 (Why is no real title available?)
- scientific article; zbMATH DE number 1281125 (Why is no real title available?)
- scientific article; zbMATH DE number 3451824 (Why is no real title available?)
- Logical constants as punctuation marks
- Logical pluralism
- Logicality, double-line rules, and modalities
- LP, K3 and FDE as substructural logics
- Multiple conclusions
- On Inversion Principles
- Pluralism and proofs
- Quine and Slater on paraconsistency and deviance
- Relevant restricted quantification
- Restall's proof-theoretic pluralism and relevance logic
- Sequent-systems and groupoid models. I
- Sequent-systems and groupoid models. II
- Structural proof theory. With an appendix by Aarne Ranta
- Tennant on multiple conclusions
- Untersuchungen über das logische Schliessen. I
- Varieties of Logic
- Weak disharmony: some lessons for proof-theoretic semantics
- Why conclusions should remain single
This page was built for publication: Proof-theoretic pluralism
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6088951)
