Metainferential reasoning on strong Kleene models

DOI10.1007/S10992-021-09627-3MaRDI QIDQ2679577zbMATH OpenOpenAlexFDO

Authors Andreas Fjellstad

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

zbMATH Keywords

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

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

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

Cites work

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

Cited in

(4)

• On the metainferential solution to the semantic paradoxes
• Higher-level inferences in the strong-Kleene setting: a proof-theoretic approach
• Inferences and metainferences in \(\mathsf{ST}\)
• Deep \textsf{ST}

Describes a project that uses

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)