Pages that link to "Item:Q2679583"
From MaRDI portal
The following pages link to Higher-level inferences in the strong-Kleene setting: a proof-theoretic approach (Q2679583):
Displaying 4 items.
- Metainferential reasoning on strong Kleene models (Q2679577) (← links)
- Neutral free logic: motivation, proof theory and models (Q2698548) (← links)
- On the metainferential solution to the semantic paradoxes (Q6156205) (← links)
- A hybrid calculus for the validities and invalidities of classical propositional logic (Q6655119) (← links)