activity
20202026
most citedIntroduction to a Hypergraph Logic Unifying Different Variants of the Lambek Calculus

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

collaborators
Showing 2022Show all

1 paper · 1 filter

cs.FL2022

Grammars over the Lambek Calculus with Permutation: Recognizing Power and Connection to Branching Vector Addition Systems with States

Tikhon Pshenitsyn

In (Van Benthem, 1991) it is proved that all permutation closures of context-free languages can be generated by grammars over the Lambek calculus with the permutation rule (LP-gram…