The following pages link to (Q3413071):
Displaying 8 items.
- Curry's paradox and \(\omega \)-inconsistency (Q361866) (← links)
- Stability and paradox in algorithmic logic (Q861519) (← links)
- A paradox of Russell type (Q1312285) (← 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)
- Abstraction in algorithmic logic (Q2481241) (← links)
- (Q3470456) (← links)