6 citations · 15 across the 13 of their papers we have counts for
Showing 2019Show all
2 papers · 1 filter
math.LO2019★ 3 cited
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…