Metainferential reasoning on strong Kleene models

DOI10.1007/S10992-021-09627-3OpenAlexW3188036807MaRDI QIDQ2679577FDOQ2679577

Authors: Andreas Fjellstad 

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-09627-3

Recommendations

• Sequent-calculi for metainferential logics
• A family of metainferential logics
• Higher-level inferences in the strong-Kleene setting: a proof-theoretic approach
• Logics of Kripke meta-models
• Inferences and metainferences in \(\mathsf{ST}\)
• Meta Reasoning in ACL2
• scientific article; zbMATH DE number 1926640
• scientific article; zbMATH DE number 4053566
• Metainferences from a proof-theoretic perspective, and a hierarchy of validity predicates

zbMATH Keywords

non-transitive logiclabelled sequent calculusnested sequent calculusmetainferential hierarchiesstrict-tolerant metatheory

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Cites Work

• The logics of strict-tolerant logic
• Structural proof theory. With an appendix by Aarne Ranta
• Conservatively extending classical logic with transparent truth
• ST, LP and tolerant metainferences
• Tolerant, classical, strict
• A fully classical truth theory characterized by substructural means
• Axiomatizing Kripke's theory of truth
• Proof analysis in modal logic
• Classical logic and the strict tolerant hierarchy
• A hierarchy of classical and paraconsistent logics

Cited In (2)

• On the metainferential solution to the semantic paradoxes
• Inferences and metainferences in \(\mathsf{ST}\)

Uses Software

• Pesca

This page was built for publication: Metainferential reasoning on strong Kleene models

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