The following pages link to A Categorial Type Logic (Q5414972):
Displaying 6 items.
- The multiplicative-additive Lambek calculus with subexponential and bracket modalities (Q2035845) (← links)
- A geometrical representation of the basic laws of categorial grammar (Q2363501) (← links)
- A logic of categorization (Q3429329) (← links)
- (Q3714050) (← links)
- Lambek’s Syntactic Calculus and Noncommutative Variants of Linear Logic: Laws and Proof-Nets (Q5014592) (← links)
- Formal categorical reasoning (Q5102205) (← links)