Metainferences from a proof-theoretic perspective, and a hierarchy of validity predicates

DOI10.1007/S10992-021-09616-6MaRDI QIDQ2679576zbMATH OpenOpenAlexFDO

Authors Rea Golan

Publication date 23 January 2023

Published in Journal of Philosophical Logic (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1007/s10992-021-09616-6

zbMATH Keywords

proof theorymetainferencesvalidity predicate

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Recommendations

• Classical logic and the strict tolerant hierarchy
• Sequent-calculi for metainferential logics
• A hierarchy of classical and paraconsistent logics
• Transfinite meta-inferences
• Validities, antivalidities and contingencies: a multi-standard approach

Cites work

• A fully classical truth theory characterized by substructural means
• A hierarchy of classical and paraconsistent logics
• An introduction to non-classical logic. From if to is
• Classical logic and the strict tolerant hierarchy
• Conservatively extending classical logic with transparent truth
• Equivalence of consequence operations
• External curries
• Faithfulness for naive validity
• MULTIPLE-CONCLUSION LP AND DEFAULT CLASSICALITY
• ST, LP and tolerant metainferences
• Simple consequence relations
• The logic of paradox
• The logics of strict-tolerant logic

Cited in

(8)

• On the metainferential solution to the semantic paradoxes
• Inferences and metainferences in \(\mathsf{ST}\)
• Anti-exceptionalism, truth and the BA-plan
• Metainferential reasoning on strong Kleene models
• A Priori Advantages of Meta-Induction and the No Free Lunch Theorem: A Contradiction?
• Invited Talk: On a (Quite) Universal Theorem Proving Approach and Its Application in Metaphysics
• Higher-level inferences in the strong-Kleene setting: a proof-theoretic approach
• A hybrid calculus for the validities and invalidities of classical propositional logic

This page was built for publication: Metainferences from a proof-theoretic perspective, and a hierarchy of validity predicates

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