Pages that link to "Item:Q877241"
From MaRDI portal
The following pages link to Natural deduction and Curry's paradox (Q877241):
Displaying 4 items.
- Curry's paradox in contractionless constructive logic (Q1914375) (← links)
- What is a relevant connective? (Q2155944) (← links)
- Translations between Gentzen-Prawitz and Jaśkowski-Fitch natural deduction proofs (Q2278834) (← links)
- Natural deduction based set theories: a new resolution of the old paradoxes (Q3030824) (← links)
