Sergey Slavnov

Publication Activity (10 Years)

Years Active: 2005-2023
Publications (10 Years): 15

Top Topics

Proof Theoretic

Cut Elimination

Top Venues

Math. Struct. Comput. Sci.

Log. Methods Comput. Sci.

J. Log. Comput.

Publications

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