Sergey Slavnov

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Making first order linear logic a generating grammar Logical Methods in Computer Science	2024-01-16	Paper
Tensor term logic for categorial grammars: simple unification of commutative and noncommutative structure	2023-12-18	Paper
On embedding Lambek calculus into commutative categorial grammars Journal Of Logic And Computation	2022-09-08	Paper
Linear logic in normed cones: probabilistic coherence spaces and beyond Mathematical Structures in Computer Science	2022-05-17	Paper
On noncommutative extensions of linear logic (available as arXiv preprint)	2019-11-26	Paper
Classical linear logic, cobordisms and categorial grammars	2019-11-10	Paper
Abstract categorial grammars with island constraints and effective decidability	2019-07-16	Paper
On Banach spaces of sequences and free linear logic exponential modality Mathematical Structures in Computer Science	2019-01-17	Paper
Classical linear logic, cobordisms and categorical semantics of categorial grammars	2018-10-04	Paper
On partial traces and compactification of $*$-autonomous Mix-categories	2016-08-04	Paper
Compactification of *-autonomous categories	2016-07-13	Paper
Linear logic with idempotent exponential modalities: a note	2014-07-22	Paper
Modeling linear logic with implicit functions Annals of Pure and Applied Logic	2014-01-13	Paper
Deep inference and probabilistic coherence spaces Applied Categorical Structures	2012-09-20	Paper
Geometrical semantics for linear logic (multiplicative fragment) Theoretical Computer Science	2006-08-16	Paper
On completeness of dynamic topological logic	2006-02-22	Paper
From proof-nets to bordisms: the geometric meaning of multiplicative connectives Mathematical Structures in Computer Science	2006-02-21	Paper
Coherent phase spaces. Semiclassical semantics Annals of Pure and Applied Logic	2005-01-31	Paper

Research outcomes over time

This page was built for person: Sergey Slavnov