Deep \textsf{ST}

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

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

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

zbMATH Keywords

semanticssubstructural logicsnon-transitiveclassical logicmetainferences\textsf{LP}\textsf{ST}

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• The logics of strict-tolerant logic
• Naive modus ponens and failure of transitivity
• Naive \textit{modus ponens}
• Tolerant, classical, strict
• Logical consequence and the paradoxes
• The semantics and proof theory of linear logic
• The logic of paradox
• A hierarchy of classical and paraconsistent logics
• CONSERVATIVELY EXTENDING CLASSICAL LOGIC WITH TRANSPARENT TRUTH
• ST, LP and Tolerant Metainferences

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