Search Results for author: Sergey Slavnov

Found 5 papers, 0 papers with code

Cobordisms and commutative categorial grammars

no code implementations19 Jul 2021 Sergey Slavnov

We propose a concrete surface representation of abstract categorial grammars in the category of word cobordisms or cowordisms for short, which are certain bipartite graphs decorated with words in a given alphabet, generalizing linear logic proof-nets.

On embedding Lambek calculus into commutative categorial grammars

no code implementations20 May 2020 Sergey Slavnov

They can be seen as a surface representation of abstract categorial grammars ACG in the sense that derivations of ACG translate to derivations of tensor grammars and this translation is isomorphic on the level of string languages.

Translation

Classical linear logic, cobordisms and categorial grammars

no code implementations10 Nov 2019 Sergey Slavnov

This category is symmetric monoidal closed and compact closed and thus is a model of linear $\lambda$-calculus and classical, as well as intuitionistic linear logic.

Abstract categorial grammars with island constraints and effective decidability

no code implementations16 Jul 2019 Sergey Slavnov

A well-known approach to treating syntactic island constraints in the setting of Lambek grammars consists in adding specific bracket modalities to the logic.

Classical linear logic, cobordisms and categorical semantics of categorial grammars

no code implementations4 Oct 2018 Sergey Slavnov

We propose a categorial grammar based on classical multiplicative linear logic.

Cannot find the paper you are looking for? You can Submit a new open access paper.