Pages that link to "Item:Q2958209"
From MaRDI portal
The following pages link to An alternative Gentzenisation of RW+∘ (Q2958209):
Displaying 6 items.
- The Gentzenization and decidability of RW (Q911575) (← links)
- \(TW_+\) and \(RW_+\) are decidable (Q1072541) (← links)
- A cut-elimination proof in positive relevant logic with necessity (Q2046880) (← links)
- A cut-free sequent calculus for relevant logic RW (Q5172146) (← links)
- A note on an alternative Gentzenization of RW+∘ (Q6047679) (← links)
- Vetoing: social, logical and mathematical aspects (Q6608667) (← links)