Soft subexponentials and multiplexing

M. Kanovich; S. Kuznetsov; Nigam V.; A. Scedrov

doi:10.1007/978-3-030-51074-9_29

АБВ
АБВ
АБВ

Обычная версия сайта

Приоритетные направления

по году

Тематика

Новости

27 октября 2026 г.

НИУ ВШЭ открывает прием заявок от подразделений на участие в Программе привлечения российских постдоков

Как привлечь новые компетенции в исследовательскую команду, дать импульс перспективному проекту и наладить сотрудничество с учеными из других организаций? Один из инструментов — Программа привлечения российских постдоков в НИУ ВШЭ. C 26 октября по 18 декабря 2026 года научные подразделения университета смогут подать заявки на привлечение постдоков к своим проектам или продление контрактов с действующими участниками программы.

27 октября 2026 г.

Российские ученые предложили универсальный метод декодирования линейных кодов

Исследователи из МИЭМ ВШЭ и Сколтеха разработали новый подход к декодированию используемых при передаче данных кодов. Их гибридный подход значительно сокращает затраты на вычисления и может быть реализован на электронных компонентах. Работа опубликована в журнале IEEE Transactions on Communications.

26 октября 2026 г.

РНФ поддержал 26 научных проектов НИУ ВШЭ

Российский научный фонд подвел итоги конкурса на получение грантов «Проведение фундаментальных научных исследований и поисковых научных исследований малыми отдельными научными группами». Победителями признаны более 850 проектов, в том числе 26 из Высшей школы экономики.

Нашли опечатку?
Выделите её, нажмите Ctrl+Enter и отправьте нам уведомление. Спасибо за участие!

Публикации

?

Soft subexponentials and multiplexing

P. 500–517.

Канович М. И., Кузнецов С. Л., Nigam V., Щедров А.

Язык: английский

Полный текст

DOI

Текст на другом сайте

Ключевые слова: linear logic линейная логика

ПУБЛИКАЦИЯ ПОДГОТОВЛЕНА ПО РЕЗУЛЬТАТАМ ПРОЕКТА:

Интеллектуальный анализ данных в интерактивных информационных системах для междисциплинарных приложений (2020)

В книге

Automated Reasoning, 10th International Joint Conference, IJCAR 2020, Part I

Vol. 12166. , Cham: Springer, 2020.

Tensor term logic for categorial grammars: simple unification of commutative and noncommutative structure

Sergey Slavnov, / Series math "arxiv.org". 2026.

Добавлено: 29 октября 2026 г.

Making first order linear logic a generating grammar

Sergey Slavnov, Logical Methods in Computer Science 2023 Vol. 19 No. 4

Добавлено: 20 декабря 2023 г.

Non-associative, non-commutative multi-modal linear logic

Blaisdell E., Канович М. И., Stepan L. Kuznetsov и др., , in: Automated Reasoning: 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022, ProceedingsVol. 13385.: Cham: Springer, 2022. P. 449–467.

Добавлено: 7 августа 2022 г.

Language models for some extensions of the Lambek calculus

Канович М. И., Кузнецов С. Л., Щедров А., Information and Computation 2022 Vol. 287 Article 104760

Добавлено: 4 декабря 2021 г.

Linear logic in normed cones: probabilistic coherence spaces and beyond

Sergey Slavnov, Mathematical Structures in Computer Science 2021 Vol. 31 No. 5 P. 495–534

Добавлено: 16 ноября 2021 г.

On embedding Lambek calculus into commutative categorial grammars

Славнов С. А., Journal of Logic and Computation 2022 Vol. 32 No. 3 P. 479–517

Добавлено: 21 октября 2021 г.

Cobordisms and Commutative Categorial Grammars

Sergey Slavnov, Journal of Cognitive Science 2021 Vol. 22 No. 2 P. 68–91

Добавлено: 2 октября 2021 г.

Reconciling Lambek's restriction, cut-elimination, and substitution in the presence of exponential modalities

Канович М. И., Кузнецов С. Л., Щедров А., Journal of Logic and Computation 2020 Vol. 30 No. 1 P. 239–256

Добавлено: 1 июля 2020 г.

On noncommutative extensions of linear logic

Sergey Slavnov, Logical Methods in Computer Science 2019 Vol. 15 No. 3 P. 1–25

Добавлено: 23 октября 2019 г.

On Banach spaces of sequences and free linear logic exponential modality

Sergey Slavnov, Mathematical Structures in Computer Science 2019 Vol. 29 No. 2 P. 215–242

Добавлено: 24 декабря 2017 г.

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

Sergey Slavnov, / Series arXiv "math". 2016.

Добавлено: 23 ноября 2016 г.

The undecidability theorem for the Horn-like fragment of linear logic (Revisited).

Max I. Kanovich, Mathematical Structures in Computer Science 2016 Vol. 26 No. 5 P. 719–744

Добавлено: 1 сентября 2016 г.

On Lambek’s Restriction in the Presence of Exponential Modalities

Канович М. И., Kuznetsov S., Щедров А., , in: Symposium on Logical Foundations of Computer Science (LFCS 2016)Vol. 9537: Logical Foundations of Computer Science.: Springer, 2016. P. 146–158.

Добавлено: 28 июня 2016 г.

Modeling linear logic with implicit functions

Sergey Slavnov, Annals of Pure and Applied Logic 2014 Vol. 165 No. 1 P. 357–370

Just as intuitionistic proofs can be modeled by functions, linear logic proofs, being symmetric in the inputs and outputs, can be modeled by relations (for example, cliques in coherence spaces). However generic relations do not establish any functional dependence between the arguments, and therefore it is questionable whether they can be thought as reasonable generalizations ...

Добавлено: 7 октября 2013 г.