1 citations · 1 across the 1 of their papers we have counts for
Showing math.LOShow all
3 papers · 1 filter
math.LO2023
Tensor term logic for categorial grammars: simple unification of commutative and noncommutative structure
Sergey Slavnov
A prototypical example of categorial grammars are those based on Lambek calculus, i.e. noncommutative intuitionistic linear logic. However, it has been noted that purely noncommuta…
math.LO2019
Classical linear logic, cobordisms and categorial grammars
Sergey Slavnov
We propose a categorial grammar based on classical multiplicative linear logic. This can be seen as an extension of abstract categorial grammars (ACG) and is at least as expressive…
math.LO2019
Abstract categorial grammars with island constraints and effective decidability
Sergey Slavnov
A well-known approach to treating syntactic island constraints in the setting of Lambek grammars consists in adding specific bracket modalities to the logic. We adapt this approach…