9 citations · 10 across the 6 of their papers we have counts for
1 paper · 1 filter
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…