4 papers
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…
On partial traces and compactification of -autonomous Mix-categories
Sergey Slavnov
We study the question when a -autonomous Mix-category has a representation as a -autonomous Mix-subcategory of a compact one. We define certain partial trace-like operation o…
Compactification of *-autonomous categories
Sergey Slavnov
We study the question when a *-autonomous (Mix-)category has a representation as a -autonomous category of a compact one. We prove that necessary and sufficient condition is tha…
Linear logic with idempotent exponential modalities: a note
Sergey Slavnov
In this note we discuss a variant of linear logic with idempotent exponential modalities. We propose a sequent calculus system and discuss its semantics. We also give a concrete re…