Pages that link to "Item:Q1611254"
From MaRDI portal
The following pages link to Naïve comprehension and contracting implications (Q1611254):
Displaying 8 items.
- Curry's paradox and \(\omega \)-inconsistency (Q361866) (← links)
- Logical consequence and the paradoxes (Q484113) (← links)
- Natural deduction and Curry's paradox (Q877241) (← links)
- Extensionality and restriction in naive set theory (Q965901) (← links)
- Routes to triviality (Q1771203) (← links)
- Variations on a theme of Curry (Q2505136) (← links)
- Non-conditional contracting connectives (Q2658286) (← links)
- 2004 Annual Conference of the Australasian Association for Logic (Q4678949) (← links)