Sequent calculi for first-order ST
From MaRDI portal
Publication:6623815
DOI10.1007/S10992-024-09766-3MaRDI QIDQ6623815
Adam Přenosil, Francesco Paoli
Publication date: 24 October 2024
Published in: Journal of Philosophical Logic (Search for Journal in Brave)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- The logics of strict-tolerant logic
- Tolerant, classical, strict
- Inferences and metainferences in \(\mathsf{ST}\)
- The semantics and proof theory of linear logic
- Cut elimination, identity elimination, and interpolation in super-Belnap logics
- Faithfulness for naive validity
- Logic and its applications. 7th Indian conference, ICLA 2017, Kanpur, India, January 5--7, 2017. Proceedings
- Deep \textsf{ST}
- Metasequents and tetravaluations
- Derivability and metainferential validity
- ST, LP and Tolerant Metainferences
- A natural extension of natural deduction
- Outline of a Theory of Truth
- UNSOUND INFERENCES MAKE PROOFS SHORTER
- Subdirect unions in universal algebra
- A SIMPLE SEQUENT SYSTEM FOR MINIMALLY INCONSISTENT LP
- Anti-exceptionalism, truth and the BA-plan
- Metainferential logics
This page was built for publication: Sequent calculi for first-order ST
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6623815)
