Slide 1now the extensions… Slide 2 NL: a pure logic of residuation Axiom Transitivity Residuation Slide 3 Lambek calculus (sequents) Slide 4 + modalities If brings you…
