research
∙
08/08/2023
Explorations in Subexponential Non-associative Non-commutative Linear Logic
In a previous work we introduced a non-associative non-commutative logic...
share
research
∙
07/06/2023
Explorations in Subexponential non-associative non-commutative Linear Logic (extended version)
In a previous work we introduced a non-associative non-commutative logic...
research
∙
10/02/2022
Relational Models for the Lambek Calculus with Intersection and Constants
We consider relational semantics (R-models) for the Lambek calculus exte...
research
∙
01/19/2020
