6 citations · 15 across the 13 of their papers we have counts for
Showing cs.CLShow all
2 papers · 1 filter
cs.CL2022
Making first order linear logic a generating grammar
Sergey Slavnov
It is known that different categorial grammars have surface representation in a fragment of first order multiplicative linear logic (MLL1). We show that the fragment of interest is…
cs.CL2021
First order linear logic and tensor type calculus for categorial grammars
Sergey Slavnov
We study relationship between first order multiplicative linear logic (MLL1), which has been known to provide representations to different categorial grammars, and the recently int…