The following pages link to (Q4198728):
Displayed 8 items.
- Natural deduction and Curry's paradox (Q877241) (← links)
- Extensionality and restriction in naive set theory (Q965901) (← links)
- On the relevant systems \(P\) and \(P^*\) and some related systems (Q1068071) (← links)
- Depth relevance of some paraconsistent logics (Q1068075) (← links)
- Perfect validity, entailment and paraconsistency (Q1068812) (← links)
- Routes to triviality (Q1771203) (← links)
- Gentzenization and decidability of some contraction-less relevant logics (Q2277247) (← links)
- Variations on a theme of Curry (Q2505136) (← links)