research
∙
06/17/2022
Making first order linear logic a generating grammar
It is known that different categorial grammars have surface representati...
share
research
∙
12/31/2021
First order linear logic and tensor type calculus for categorial grammars
We study relationship between first order multiplicative linear logic (M...
research
∙
07/19/2021
Cobordisms and commutative categorial grammars
We propose a concrete surface representation of abstract categorial gram...
research
∙
05/20/2020
On embedding Lambek calculus into commutative categorial grammars
Abstract categorial grammars (ACG), as well as some other, closely relat...
research
∙
11/10/2019
Classical linear logic, cobordisms and categorial grammars
We propose a categorial grammar based on classical multiplicative linear...
research
∙
07/16/2019
Abstract categorial grammars with island constraints and effective decidability
A well-known approach to treating syntactic island constraints in the se...
research
∙
10/04/2018
Classical linear logic, cobordisms and categorical semantics of categorial grammars
We propose a categorial grammar based on classical multiplicative linear...
research
∙
10/04/2018
Commutative linear logic as a multiple context-free grammar
The formalism of multiple context-free grammars (MCFG) is a non-trivial ...
research
∙
03/15/2018