The following pages link to Metainferential duality (Q4994022):
Displaying 8 items.
- Validities, antivalidities and contingencies: a multi-standard approach (Q2078977) (← links)
- Editorial introduction: substructural logics and metainferences (Q2679572) (← links)
- Derivability and metainferential validity (Q2679587) (← links)
- Meta-inferences and supervaluationism (Q2679589) (← links)
- Systems for non-reflexive consequence (Q6067744) (← links)
- Metainferential paraconsistency (Q6484735) (← links)
- Non-reflexive nonsense: proof theory of paracomplete weak Kleene logic (Q6642820) (← links)
- \(\mathsf{ST}\) and \(\mathsf{TS}\) as product and sum (Q6655118) (← links)