Deep \textsf{ST}

DOI10.1007/S10992-021-09630-8OpenAlexW4200167144MaRDI QIDQ2679574FDOQ2679574

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)

Full work available at URL: https://doi.org/10.1007/s10992-021-09630-8

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

zbMATH Keywords

semanticssubstructural logicsclassical logicmetainferences\textsf{LP}\textsf{ST}non-transitive

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Cites Work

• The semantics and proof theory of linear logic
• The logic of paradox
• The logics of strict-tolerant logic
• Conservatively extending classical logic with transparent truth
• ST, LP and tolerant metainferences
• Tolerant, classical, strict
• Logical consequence and the paradoxes
• Naive modus ponens and failure of transitivity
• Title not available (Why is that?)
• Naive \textit{modus ponens}
• Multiple conclusions
• Title not available (Why is that?)
• A hierarchy of classical and paraconsistent logics

Cited In (5)

• The logics of strict-tolerant logic
• (I can't get no) antisatisfaction
• Anti-exceptionalism, truth and the BA-plan
• DEED: deep evidential doctor
• Sequent calculi for first-order ST

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)