Metainferential reasoning on strong Kleene models

DOI10.1007/s10992-021-09627-3OpenAlexW3188036807MaRDI QIDQ2679577

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

zbMATH Keywords

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

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Related Items (1)

On the metainferential solution to the semantic paradoxes

Uses Software

• Pesca

Cites Work

• Unnamed Item
• The logics of strict-tolerant logic
• Tolerant, classical, strict
• Proof analysis in modal logic
• Classical logic and the strict tolerant hierarchy
• A hierarchy of classical and paraconsistent logics
• CONSERVATIVELY EXTENDING CLASSICAL LOGIC WITH TRANSPARENT TRUTH
• ST, LP and Tolerant Metainferences
• A FULLY CLASSICAL TRUTH THEORY CHARACTERIZED BY SUBSTRUCTURAL MEANS
• Axiomatizing Kripke's theory of truth

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