Deep \textsf{ST}

DOI10.1007/S10992-021-09630-8MaRDI QIDQ2679574zbMATH OpenOpenAlexFDO

Authors Thomas Macaulay Ferguson, Elisángela Ramírez-Cámara

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-09630-8

zbMATH Keywords

\textsf{LP}\textsf{ST}classical logicmetainferencesnon-transitivesemanticssubstructural logics

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Recommendations

• Inferences and metainferences in \(\mathsf{ST}\)
• ST, LP and tolerant metainferences
• Metainferential reasoning on strong Kleene models
• The logics of strict-tolerant logic
• One step is enough

Cites work

• A hierarchy of classical and paraconsistent logics
• Conservatively extending classical logic with transparent truth
• scientific article; zbMATH DE number 3926879 (Why is no real title available?)
• scientific article; zbMATH DE number 3202577 (Why is no real title available?)
• Logical consequence and the paradoxes
• Multiple conclusions
• Naive \textit{modus ponens}
• Naive modus ponens and failure of transitivity
• ST, LP and tolerant metainferences
• The logic of paradox
• The logics of strict-tolerant logic
• The semantics and proof theory of linear logic
• Tolerant, classical, strict

Cited in

(13)

• Sequent-calculi for metainferential logics
• The logics of strict-tolerant logic
• One step is enough
• Higher-level inferences in the strong-Kleene setting: a proof-theoretic approach
• Derivability and metainferential validity
• DEED: deep evidential doctor
• (I can't get no) antisatisfaction
• Anti-exceptionalism, truth and the BA-plan
• Sequent calculi for first-order ST
• Meta-arguments in heterogeneous logics and how to evaluate them
• Metainferentially substructural validity theories
• Meta-classical non-classical logics
• Appreciating global validity

This page was built for publication: Deep \textsf{ST}

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