activity
20172021
most citedSimulating Linear Logic in 1-Only Linear Logic

3 citations · 3 across the 2 of their papers we have counts for

collaborators
Showing math.LOShow all

1 paper · 1 filter

math.LO2020

Language Models for Some Extensions of the Lambek Calculus

Max Kanovich, Stepan Kuznetsov, Andre Scedrov

We investigate language interpretations of two extensions of the Lambek calculus: with additive conjunction and disjunction and with additive conjunction and the unit constant. For…