The following pages link to (Q3019505):
Displaying 10 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)
- A Nominal Axiomatization of the Lambda Calculus (Q3553919) (← links)
- (Q4722037) (← links)
- On the decidability of implicational ticket entailment (Q4916555) (← links)
- COLLECTION FRAMES FOR DISTRIBUTIVE SUBSTRUCTURAL LOGICS (Q6188338) (← links)
- Clones, closed categories, and combinatory logic (Q6629524) (← links)
- Deep fried logic (Q6651286) (← links)
