Sergey Slavnov

Available identifiers

Publication	Date of Publication	Type
Making first order linear logic a generating grammar	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	2022-09-08	Paper
Linear logic in normed cones: probabilistic coherence spaces and beyond	2022-05-17	Paper
On noncommutative extensions of linear logic	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	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	2014-01-13	Paper
Deep inference and probabilistic coherence spaces	2012-09-20	Paper
Geometrical semantics for linear logic (multiplicative fragment)	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	2006-02-21	Paper
Coherent phase spaces. Semiclassical semantics	2005-01-31	Paper

This page was built for person: Sergey Slavnov