Pages that link to "Item:Q1914375"
From MaRDI portal
The following pages link to Curry's paradox in contractionless constructive logic (Q1914375):
Displaying 14 items.
- Curry's paradox and \(\omega \)-inconsistency (Q361866) (← links)
- Natural deduction and Curry's paradox (Q877241) (← links)
- Naïve comprehension and contracting implications (Q1611254) (← links)
- A note on contraction-free logic for validity (Q1708464) (← links)
- Diamonds are a philosopher's best friends. The knowability paradox and modal epistemic relevance logic (Q1868338) (← links)
- A pragmatic dissolution of Curry's paradox (Q2169129) (← links)
- Abstraction in algorithmic logic (Q2481241) (← links)
- (Q3413071) (← links)
- (Q3470456) (← links)
- Natural deduction systems for Nelson's paraconsistent logic and its neighbors (Q3647236) (← links)
- (Q3783268) (← links)
- Tableaux for logic programming with strong negation (Q4610313) (← links)
- On the crispness of and arithmetic with a bisimulation in a constructive naive set theory (Q5172136) (← links)
- Kreisel’s Theory of Constructions, the Kreisel-Goodman Paradox, and the Second Clause (Q5864196) (← links)
