• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • A
  • A
  • A
  • A
  • A
Обычная версия сайта
  • RU
  • EN
  • Национальный исследовательский университет «Высшая школа экономики»
  • Публикации ВШЭ
  • Статьи
  • Linear logic in normed cones: probabilistic coherence spaces and beyond
  • RU
  • EN
Расширенный поиск
Высшая школа экономики
Национальный исследовательский университет
Приоритетные направления
  • бизнес-информатика
  • государственное и муниципальное управление
  • гуманитарные науки
  • инженерные науки
  • компьютерно-математическое
  • математика
  • менеджмент
  • право
  • социология
  • экономика
по году
  • 2027
  • 2026
  • 2025
  • 2024
  • 2023
  • 2022
  • 2021
  • 2020
  • 2019
  • 2018
  • 2017
  • 2016
  • 2015
  • 2014
  • 2013
  • 2012
  • 2011
  • 2010
  • 2009
  • 2008
  • 2007
  • 2006
  • 2005
  • 2004
  • 2003
  • 2002
  • 2001
  • 2000
  • 1999
  • 1998
  • 1997
  • 1996
  • 1995
  • 1994
  • 1993
  • 1992
  • 1991
  • 1990
  • 1989
  • 1988
  • 1987
  • 1986
  • 1985
  • 1984
  • 1983
  • 1982
  • 1981
  • 1980
  • 1979
  • 1978
  • 1977
  • 1976
  • 1975
  • 1974
  • 1973
  • 1972
  • 1971
  • 1970
  • 1969
  • 1968
  • 1967
  • 1966
  • 1965
  • 1964
  • 1963
  • 1958
  • еще
Тематика
Новости
29 октября 2026 г.
Плоская модель местности скрыла от симулятора потерю связи между машинами
Исследователи МИЭМ ВШЭ показали, что популярные симуляторы связи между автомобилями заметно переоценивают ее надежность, потому что считают рельеф местности плоским. Если учесть рельеф, мосты и туннели, доля потерянных соединений на горном серпантине вырастает с 21 до 30%, у эстакады — с 20 до 33%, а в туннеле — с нуля до 80%.Результаты опубликованы в журнале Future Transportation.
27 октября 2026 г.
НИУ ВШЭ открывает прием заявок от подразделений на участие в Программе привлечения российских постдоков
Как привлечь новые компетенции в исследовательскую команду, дать импульс перспективному проекту и наладить сотрудничество с учеными из других организаций? Один из инструментов — Программа привлечения российских постдоков в НИУ ВШЭ. C 26 октября по 18 декабря 2026 года научные подразделения университета смогут подать заявки на привлечение постдоков к своим проектам или продление контрактов с действующими участниками программы.
27 октября 2026 г.
Российские ученые предложили универсальный метод декодирования линейных кодов
Исследователи из МИЭМ ВШЭ и Сколтеха разработали новый подход к декодированию используемых при передаче данных кодов. Их гибридный подход значительно сокращает затраты на вычисления и может быть реализован на электронных компонентах. Работа опубликована в журнале IEEE Transactions on Communications.

 

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

Публикации
  • Книги
  • Статьи
  • Главы в книгах
  • Препринты
  • Верификация публикаций
  • Расширенный поиск
  • Правила использования материалов
  • Наука в ВШЭ

?

Linear logic in normed cones: probabilistic coherence spaces and beyond

Mathematical Structures in Computer Science. 2021. Vol. 31. No. 5. P. 495–534.
Sergey Slavnov
Научное направление: Математика Компьютерные науки
Язык: английский
DOI
Текст на другом сайте
Ключевые слова: linear logicprobabilistic coherence spaces линейная логикавероятностные пространства когерентностиdenotational semanticsденотационная семантика
Похожие публикации
Amplifying Latent Safety in Large Language Models via Gated Activation Steering
Roman Prosvirnin, Suslov A., Aleksei Soldatov и др., Computation 2026 Vol. 14 No. 10 Article 261
Добавлено: 27 октября 2026 г.
PACTraD: Multi-Task Benchmark and Domain-Specific Attention Mechanism for Wildlife Classification, Detection, and Segmentation in Protected Area Camera Trap Data
Aleksei Samarin, Назаренко А. А., Nazarenko D. и др., Big Data and Cognitive Computing 2026 Vol. 10 No. 11 P. 1–52
Добавлено: 27 октября 2026 г.
2026 10th Scientific School Dynamics of Complex Networks and their Applications
IEEE, 2026.
Добавлено: 26 октября 2026 г.
A Curated Dataset for Chemical Characterization of Heated Tobacco Product Aerosol
Maddalena L., Yildiz B., Del Vecchio Blanco F. и др., Scientific data 2026 P. 1–20
Добавлено: 26 октября 2026 г.
Weakly non-integrable solitary wave collisions in the modified Benjamin–Bona–Mahony equation
Flamarion M. V., Пелиновский Е. Н., Wave Motion 2027 Vol. 148 Article 103867
Добавлено: 23 октября 2026 г.
A Multi-Feature Fusion Deep Neural Network with Attention for Multi-Task Crop Monitoring
Obsie E. Y., Zhan Y., Liu Y., Engineering Research Express 2026 Article 7
Добавлено: 22 октября 2026 г.
A Neural Network Approach for Generating Libration Point Orbits
Lev Pyatko, Sergey Aksenov, Regular and Chaotic Dynamics 2026 Vol. 31 No. 5 P. 794–813
In the circular restricted three-body problem, families of periodic and quasi-periodic orbits exist in the vicinity of the libration points and are of significant interest for practical applications. This work presents a neural network-based algorithm for orbit construction and station-keeping, applicable to both periodic and quasi-periodic orbits near collinear libration points. The method employs a ...
Добавлено: 19 октября 2026 г.
Основы теории информации
Воронцова Т. Д., М.: Академия, 2025.
Учебник подготовлен в соответствии с требованиями федеральных государственных образовательных стандартов среднего профессионального образования и  предназначен для изучения профессиональных модулей «Защита информации в  информационно-телекоммуникационных системах и  сетях с  использованием программных и  программно-аппаратных, в том числе криптографических средств защиты» и «Защита информации в  автоматизированных системах программными и  программно-аппаратными средствами». Содержание учебника включает в себя аксиоматику теории информации, а  также такие фундаментальные понятия, как ...
Добавлено: 19 октября 2026 г.
Моментные оценки для стохастической аппроксимации
Наумов А. А., Рубцов А. С., Самсонов С. В. и др., Успехи математических наук 2026 Т. 81 № 4 (490) С. 161–162
Краткое сообщение рассматривает Моментные оценки для стохастической аппроксимации ...
Добавлено: 17 октября 2026 г.
An infinite series of Gorenstein local algebras failing the affine homogeneity property
Roman Avdeev, Yulia Zaitseva, Mediterranean Journal of Mathematics 2026 Vol. 23 No. 7 Article 224
Добавлено: 17 октября 2026 г.
Turbulent Exchange Tensor in the Atmospheric Boundary Layer: An Inverse-Problem Approach Using Radiosonde Wind Observations with High Vertical Resolution
Гордин В. А., Ефременко Д. С., Boundary-Layer Meteorology 2026 Vol. 192 No. 51
An inverse problem of reconstructing the turbulent exchange tensor from large archives of observed wind profiles within the Åkerblom–Ekman (A-E) model framework is investigated using high-vertical-resolution radiosonde observations. The reconstructed tensor provides improved agreement between modeled and observed wind profiles compared to classical formulations based on real turbulent exchange coefficient. Instead of the classical A-E ...
Добавлено: 16 октября 2026 г.
Diversity of chaos with additional zero Lyapunov exponents in heterogeneous ensemble of quasi-periodic and chaotic systems
Kuznetsov A. P., Sedova Y. V., Станкевич Н. В., Chaos, Solitons and Fractals 2026 Vol. 213 No. 12 Article 119309
Добавлено: 16 октября 2026 г.
A Reproducible Microscopy Acquisition Pipeline and Microscopy-Aware Attention for Classification, Detection, and Segmentation of Microorganisms
Aleksei Samarin, Назаренко А. А., Nazarenko D. и др., Machine Learning and Knowledge Extraction 2026 Vol. 8 No. 10 Article 330
Добавлено: 14 октября 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 г.
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 г.
Soft subexponentials and multiplexing
Канович М. И., Кузнецов С. Л., Nigam V. и др., , in: Automated Reasoning, 10th International Joint Conference, IJCAR 2020, Part IVol. 12166.: Cham: Springer, 2020. P. 500–517.
Добавлено: 1 июля 2020 г.
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 г.
  • О ВЫШКЕ
  • Цифры и факты
  • Руководство и структура
  • Устойчивое развитие в НИУ ВШЭ
  • Преподаватели и сотрудники
  • Корпуса и общежития
  • Закупки
  • Обращения граждан в НИУ ВШЭ
  • Фонд целевого капитала
  • Противодействие коррупции
  • Сведения о доходах, расходах, об имуществе и обязательствах имущественного характера
  • Сведения об образовательной организации
  • Людям с ограниченными возможностями здоровья
  • Единая платежная страница
  • Работа в Вышке
  • ОБРАЗОВАНИЕ
  • Лицей
  • Довузовская подготовка
  • Олимпиады
  • Прием в бакалавриат
  • Вышка+
  • Прием в магистратуру
  • Аспирантура
  • Дополнительное образование
  • Центр развития карьеры
  • Бизнес-инкубатор ВШЭ
  • Образовательные партнерства
  • Обратная связь и взаимодействие с получателями услуг
  • НАУКА
  • Научные подразделения
  • Исследовательские проекты
  • Мониторинги
  • Диссертационные советы
  • Защиты диссертаций
  • Академическое развитие
  • Конкурсы и гранты
  • Внешние научно-информационные ресурсы
  • РЕСУРСЫ
  • Библиотека
  • Издательский дом ВШЭ
  • Книжный магазин «БукВышка»
  • Типография
  • Медиацентр
  • Журналы ВШЭ
  • Публикации
  • http://www.minobrnauki.gov.ru/
    Министерство науки и высшего образования РФ
  • https://edu.gov.ru/
    Министерство просвещения РФ
  • https://elearning.hse.ru/mooc
    Массовые открытые онлайн-курсы
  • НИУ ВШЭ1993–2026
  • Адреса и контакты
  • Условия использования материалов
  • Политика обработки персональных данных
  • Правила применения рекомендательных технологий в НИУ ВШЭ
  • Карта сайта
Редактору