Soft subexponentials and multiplexing

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

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

АБВ
АБВ
АБВ

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

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

по году

Тематика

Новости

13 августа 2026 г.

Социальная интеграция: на перекрестках знаний и ценностей

Международная лаборатория исследований социальной интеграции (МЛИСИ) НИУ ВШЭ занимается изучением проблем уязвимых слоев населения и поиском методов их вовлечения в полноценную повседневную жизнь. Для поиска решений ученые лаборатории сочетают разработку передовых методов с практической работой «в поле». О деятельности лаборатории новостной службе «Вышка.Главное» рассказала ее заведующая Елена Ярская-Смирнова.

12 августа 2026 г.

Студенты Вышки, вероятно, обнаружили новый вид медузы во время практики на Сахалине

Учащиеся факультета биологии и биотехнологии НИУ ВШЭ стали первыми студентами, которые приехали в экспедицию на биостанцию «Анива» на острове Сахалин. Их целью было изучение морских полипов и медуз. Молодым ученым удалось получить неожиданные результаты: возможно, во время полевых работ они обнаружили новые для региона виды. Теперь часть находок привезут в Москву для детального изучения. Об экспедиции студентки рассказали «Вышке.Главное».

12 августа 2026 г.

«Я бы назвал атмосферу в лаборатории и в университете творческой и стимулирующей»

Научный сотрудник Международной лаборатории стохастического анализа и его приложений НИУ ВШЭ французский ученый Жан-Франсуа Жабир работает в НИУ ВШЭ с 2017 года. Его привлекла возможность вести исследования совместно с ведущими зарубежными и российскими учеными, свобода академических дискуссий и открытость университета. Своими впечатлениями о Вышке и Москве Жан-Франсуа Жабир поделился с новостной службой «Вышка.Главное».

Нашли опечатку?
Выделите её, нажмите 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.

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 г.