Pages that link to "Item:Q1611254"
From MaRDI portal
The following pages link to Naïve comprehension and contracting implications (Q1611254):
Displaying 13 items.
- Curry's paradox and \(\omega \)-inconsistency (Q361866) (← links)
- Naive \textit{modus ponens} (Q373022) (← 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)
- How to be really contraction free (Q1313081) (← links)
- Weight of the comprehension axiom in a theory based on logic without contractions (Q1582825) (← links)
- A note on contraction-free logic for validity (Q1708464) (← links)
- Naive structure, contraction and paradox (Q1708466) (← 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)