Sergey Slavnov

21 papers Journal 21
YearRankTypeTitle / Venue / Authors
2023 J jnl
Making first order linear logic a generating grammar.
Log. Methods Comput. Sci.
Sergey Slavnov
2022 J jnl
Making first order linear logic a generating grammar.
CoRR
Sergey Slavnov
2022 J jnl
On embedding Lambek calculus into commutative categorial grammars.
J. Log. Comput.
Sergey Slavnov
2021 J jnl
Cobordisms and commutative categorial grammars.
CoRR
Sergey Slavnov
2021 J jnl
First order linear logic and tensor type calculus for categorial grammars.
CoRR
Sergey Slavnov
2021 J jnl
Linear logic in normed cones: probabilistic coherence spaces and beyond.
Math. Struct. Comput. Sci.
Sergey Slavnov
2020 J jnl
On embedding Lambek calculus into commutative categorial grammars.
CoRR
Sergey Slavnov
2019 J jnl
Classical linear logic, cobordisms and categorial grammars.
CoRR
Sergey Slavnov
2019 J jnl
On Banach spaces of sequences and free linear logic exponential modality.
Math. Struct. Comput. Sci.
Sergey Slavnov
2019 J jnl
On noncommutative extensions of linear logic.
Log. Methods Comput. Sci.
Sergey Slavnov
2018 J jnl
Commutative linear logic as a multiple context-free grammar.
CoRR
Sergey Slavnov
2018 J jnl
Noncommutative coherence spaces for full linear logic.
CoRR
Sergey Slavnov
2017 J jnl
On noncommutative extensions of linear logic.
CoRR
Sergey Slavnov
2016 J jnl
On partial traces and compactification of *-autonomous Mix-categories.
CoRR
Sergey Slavnov
2015 J jnl
On Banach spaces of sequences and free linear logic exponential modality.
CoRR
Sergey Slavnov
2014 J jnl
Linear logic with idempotent exponential modalities: a note.
CoRR
Sergey Slavnov
2014 J jnl
Modeling linear logic with implicit functions.
Ann. Pure Appl. Log.
Sergey Slavnov
2012 J jnl
Deep Inference and Probabilistic Coherence Spaces.
Appl. Categorical Struct.
Richard Blute, Prakash Panangaden, Sergey Slavnov
2006 J jnl
Geometrical semantics for linear logic (multiplicative fragment).
Theor. Comput. Sci.
Sergey Slavnov
2005 J jnl
Coherent phase spaces. Semiclassical semantics.
Ann. Pure Appl. Log.
Sergey Slavnov
2005 J jnl
From proof-nets to bordisms: the geometric meaning of multiplicative connectives.
Math. Struct. Comput. Sci.
Sergey Slavnov