Sergey Slavnov

According to our database, Sergey Slavnov authored at least 17 papers between 2005 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Making first order linear logic a generating grammar.

Sergey Slavnov

Log. Methods Comput. Sci., 2023

2022

On embedding Lambek calculus into commutative categorial grammars.

Sergey Slavnov

J. Log. Comput., 2022

2021

Linear logic in normed cones: probabilistic coherence spaces and beyond.

Sergey Slavnov

Math. Struct. Comput. Sci., 2021

First order linear logic and tensor type calculus for categorial grammars.

Sergey Slavnov

CoRR, 2021

Cobordisms and commutative categorial grammars.

Sergey Slavnov

CoRR, 2021

2019

On Banach spaces of sequences and free linear logic exponential modality.

Sergey Slavnov

Math. Struct. Comput. Sci., 2019

On noncommutative extensions of linear logic.

Sergey Slavnov

Log. Methods Comput. Sci., 2019

Classical linear logic, cobordisms and categorial grammars.

Sergey Slavnov

CoRR, 2019

2018

Commutative linear logic as a multiple context-free grammar.

Sergey Slavnov

CoRR, 2018

Noncommutative coherence spaces for full linear logic.

Sergey Slavnov

CoRR, 2018

2016

On partial traces and compactification of *-autonomous Mix-categories.

Sergey Slavnov

CoRR, 2016

2014

Linear logic with idempotent exponential modalities: a note.

Sergey Slavnov

CoRR, 2014

Modeling linear logic with implicit functions.

Sergey Slavnov

Ann. Pure Appl. Log., 2014

2012

Deep Inference and Probabilistic Coherence Spaces.

Richard Blute, Prakash Panangaden, Sergey Slavnov

Appl. Categorical Struct., 2012

2006

Geometrical semantics for linear logic (multiplicative fragment).

Sergey Slavnov

Theor. Comput. Sci., 2006

2005

From proof-nets to bordisms: the geometric meaning of multiplicative connectives.

Sergey Slavnov

Math. Struct. Comput. Sci., 2005

Coherent phase spaces. Semiclassical semantics.

Sergey Slavnov

Ann. Pure Appl. Log., 2005