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

DOI10.1007/S10992-021-09616-6OpenAlexW3183401520MaRDI QIDQ2679576

Rea Golan

Publication date: 23 January 2023

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

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)

Related Items (2)

On the metainferential solution to the semantic paradoxes ⋮ Anti-exceptionalism, truth and the BA-plan

Cites Work

• Unnamed Item
• The logics of strict-tolerant logic
• External curries
• Simple consequence relations
• The logic of paradox
• Classical logic and the strict tolerant hierarchy
• Faithfulness for naive validity
• A hierarchy of classical and paraconsistent logics
• Equivalence of consequence operations
• CONSERVATIVELY EXTENDING CLASSICAL LOGIC WITH TRANSPARENT TRUTH
• MULTIPLE-CONCLUSION LP AND DEFAULT CLASSICALITY
• ST, LP and Tolerant Metainferences
• A FULLY CLASSICAL TRUTH THEORY CHARACTERIZED BY SUBSTRUCTURAL MEANS

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