Pages that link to "Item:Q2254561"

The following pages link to Extracting \(\mathsf{BB'IW}\) inhabitants of simple types from proofs in the sequent calculus \(LT_\to^t\) for implicational ticket entailment (Q2254561):

Displayed 2 items.

• Current trends in substructural logics (Q266641) ‎ (← links)
• New consecution calculi for \(R^{t}_{\to}\) (Q691126) ‎ (← links)