Pages that link to "Item:Q877241"
From MaRDI portal
The following pages link to Natural deduction and Curry's paradox (Q877241):
Displaying 14 items.
- Computer implication and the Curry paradox (Q704044) (← links)
- Stability and paradox in algorithmic logic (Q861519) (← links)
- Ekman's paradox (Q1676357) (← links)
- Fusion and confusion (Q1708463) (← links)
- Curry's paradox in contractionless constructive logic (Q1914375) (← links)
- What is a relevant connective? (Q2155944) (← links)
- A pragmatic dissolution of Curry's paradox (Q2169129) (← links)
- Translations between Gentzen-Prawitz and Jaśkowski-Fitch natural deduction proofs (Q2278834) (← links)
- Variations on a theme of Curry (Q2505136) (← links)
- Paraconsistency: Towards a tentative interpretation (Q2746863) (← links)
- Natural implication and modus ponens principle (Q2804046) (← links)
- Natural deduction based set theories: a new resolution of the old paradoxes (Q3030824) (← links)
- (Q3413071) (← links)
- (Q4460834) (← links)