Derivability and metainferential validity
From MaRDI portal
Publication:2679587
DOI10.1007/S10992-021-09619-3OpenAlexW3185325595MaRDI QIDQ2679587FDOQ2679587
Authors: Bruno Da Ré, Damian Szmuc, Paula Teijeiro 
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-09619-3
Recommendations
Cites Work
- The logic of paradox
- The logics of strict-tolerant logic
- Conservatively extending classical logic with transparent truth
- What is a paraconsistent logic?
- ST, LP and tolerant metainferences
- Tolerant, classical, strict
- Priest's motorbike and tolerant identity
- Tolerance and mixed consequence in the S'valuationist setting
- The connectives
- Title not available (Why is that?)
- Classical logic and the strict tolerant hierarchy
- Title not available (Why is that?)
- Valuational semantics of rule derivability
- Title not available (Why is that?)
- Completeness and super-valuations
- A hierarchy of classical and paraconsistent logics
- About some symmetries of negation
- Gentzen's cut-free calculus versus the logic of paradox
- Metainferential duality
- Valuations: bi, tri, and tetra
- On the `transitivity' of consequence relations
- Studying sequent systems via non-deterministic multiple-valued matrices
Cited In (6)
- External validity: from do-calculus to transportability across populations
- Inferential constants
- Metainferential paraconsistency
- Sequent calculi for first-order ST
- Non-reflexive nonsense: proof theory of paracomplete weak Kleene logic
- Higher-level inferences in the strong-Kleene setting: a proof-theoretic approach
This page was built for publication: Derivability and metainferential validity
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2679587)
