The following pages link to (Q3019505):
Displayed 6 items.
- Current trends in substructural logics (Q266641) (← links)
- Lambek calculus with conjugates (Q2046872) (← links)
- Extracting \(\mathsf{BB'IW}\) inhabitants of simple types from proofs in the sequent calculus \(LT_\to^t\) for implicational ticket entailment (Q2254561) (← links)
- On structural features of the implication fragment of Frege's \textit{Grundgesetze} (Q2409390) (← links)
- On the decidability of implicational ticket entailment (Q4916555) (← links)
- COLLECTION FRAMES FOR DISTRIBUTIVE SUBSTRUCTURAL LOGICS (Q6188338) (← links)