9 citations · 10 across the 6 of their papers we have counts for
1 paper · 2 filters
Oriol Valentín
The sequent calculus sL for the Lambek calculus L (lambek 58) has no structural rules. Interestingly, sL is equivalent to a multimodal calculus mL, which consists of the nonassocia…