The following pages link to Routes to triviality (Q1771203):
Displaying 10 items.
- Curry's paradox and \(\omega \)-inconsistency (Q361866) (← links)
- Natural deduction and Curry's paradox (Q877241) (← links)
- Curry's paradox, generalized modus ponens axiom and depth relevance (Q2016072) (← links)
- An incompleteness theorem for modal relevant logics (Q2075284) (← links)
- What is a relevant connective? (Q2155944) (← links)
- A pragmatic dissolution of Curry's paradox (Q2169129) (← links)
- Blocking the routes to triviality with depth relevance (Q2258818) (← links)
- Variations on a theme of Curry (Q2505136) (← links)
- Propositions in Prepositional Logic Provable Only by Indirect Proofs (Q4379628) (← links)
- Angell and McCall meet Wansing (Q6127187) (← links)
