Pages that link to "Item:Q691126"
From MaRDI portal
The following pages link to New consecution calculi for \(R^{t}_{\to}\) (Q691126):
Displayed 5 items.
- Current trends in substructural logics (Q266641) (← links)
- New consecution calculi for \(R^{t}_{\to}\) (Q691126) (← links)
- Extracting \(\mathsf{BB'IW}\) inhabitants of simple types from proofs in the sequent calculus \(LT_\to^t\) for implicational ticket entailment (Q2254561) (← links)
- An alternative Gentzenisation of RW+∘ (Q2958209) (← links)
- On the decidability of implicational ticket entailment (Q4916555) (← links)