Pages that link to "Item:Q2679587"
From MaRDI portal
The following pages link to Derivability and metainferential validity (Q2679587):
Displaying 6 items.
- External validity: from do-calculus to transportability across populations (Q252808) (← links)
- Higher-level inferences in the strong-Kleene setting: a proof-theoretic approach (Q2679583) (← links)
- Inferential constants (Q6156204) (← links)
- Metainferential paraconsistency (Q6484735) (← links)
- Sequent calculi for first-order ST (Q6623815) (← links)
- Non-reflexive nonsense: proof theory of paracomplete weak Kleene logic (Q6642820) (← links)