• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • A
  • A
  • A
  • A
  • A
Обычная версия сайта
  • RU
  • EN
  • Национальный исследовательский университет «Высшая школа экономики»
  • Публикации ВШЭ
  • Статьи
  • Cobordisms and Commutative Categorial Grammars
  • RU
  • EN
Расширенный поиск
Высшая школа экономики
Национальный исследовательский университет
Приоритетные направления
  • бизнес-информатика
  • государственное и муниципальное управление
  • гуманитарные науки
  • инженерные науки
  • компьютерно-математическое
  • математика
  • менеджмент
  • право
  • социология
  • экономика
по году
  • 2028
  • 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
  • еще
Тематика
Новости
2 октября 2026 г.
В НИУ ВШЭ обсудили этические границы взаимодействия человека и антропоморфного робота
В Высшей школе экономики состоялся экспертный семинар Центра этики и онтологии роботов Института робототехнических систем (ИРС), посвященный разработке практических требований к проектированию и безопасному внедрению антропоморфных роботов. Участники обсудили, как перевести этические принципы в технические параметры, протоколы проверки и требования к эксплуатации робототехнических систем.
1 октября 2026 г.
Смыслы, скорость и локальный код: как изменится потребительский спрос в креативных индустриях к 2029 году
Институт развития креативных индустрий ФКИ ВШЭ подвел итоги масштабного Трендвотчинг-исследования, проведенного весной 2026 года. В нем приняли участие более 300 ведущих экспертов. Одним из ключевых выводов стало понимание: потребитель больше не покупает продукт как набор функций. Он выбирает отношение, скорость, смысл и личную вовлеченность. В качестве доминирующего тренда на трехлетнем горизонте зафиксирован переход от материальных характеристик продукта к нематериальным.
1 октября 2026 г.
Российские ученые оценили скрытые риски болезней сердца у 43 тысяч человек
Исследователи НИУ ВШЭ и «Биотехнологического кампуса» проанализировали более 43 000 геномов здоровых участников Национальной генетической инициативы «100 000+Я». У 559 человек обнаружили патогенные или вероятно патогенные варианты генов, связанные с риском сердечно-сосудистых заболеваний. Такие данные позволяют раньше начать лечение или провести дополнительное обследование. О результатах исследования ученые рассказали на конгрессе «Генетика и сердце» в НИУ ВШЭ.

 

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

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

?

Cobordisms and Commutative Categorial Grammars

Journal of Cognitive Science. 2021. Vol. 22. No. 2. P. 68–91.
Sergey Slavnov
Научное направление: Математика Филология и лингвистика
Язык: английский
Полный текст
Текст на другом сайте
Ключевые слова: linear logicлинейная логикаcategorial grammarкатегориальная грамматикаcompact categoryкомпактная категория
Похожие публикации
On Practical Aspects of Constructing Quasi-Cyclic Subfield Subcodes of Dual Elliptic Codes and Their Application in McEliece-type Cryptosystems
Кунинец А. А., IEEE Transactions on Information Theory 2026 P. 1–1
Добавлено: 3 октября 2026 г.
Nomos e poikilía dell'Essere. Genesi metafisica del molteplice. Una deduzione schellinghiana
Деци А., Sesto San Giovanni: Mimesis, 2026.
Книга представляет собой метафизическое исследование природы и происхождения множественного. Отправной точкой и герменевтическим горизонтом служат Эрлангенские чтения Шеллинга 1820–1821 гг. На их основе предлагается интерпретация Nomos за пределами его политических, юридических и социальных определений: Nomos предстает как онтологический принцип бесконечного многообразия форм, осмысленного через греческое понятие poikilia. Сочетая спекулятивную радикальность с филологической строгостью, книга обращается ...
Добавлено: 2 октября 2026 г.
Файзов, Д. оии: стихи 2024-2026 годов / Данил Файзов; предисл. М. Павловца. М.: Новое литературное обозрение, 2026. — 160 с. (Серия «Новая поэзия»)
Файзов Д., М.: Новое литературное обозрение, 2026.
Новая книга Д. Файзова пронизана голосами других поэтов. Речь не о расхожей постмодернистской центонности. Это микроинтертекстуальность на уровне конкретных слов и приемов, коллаж осколков чужих голосов, однако таких осколков, которые сохраняют способность отсылать к целому и к тому же вписаны — вклеены на манер аппликации — в узнаваемую интонацию самого поэта. Данил Файзов—поэт, культуртрегер, редактор. ...
Добавлено: 2 октября 2026 г.
Graphon spin systems as exactly solvable models
Medvedev G., Alexandrov Artem, Physical Review E - Statistical, Nonlinear, and Soft Matter Physics 2026 Vol. 114 Article 044102
Добавлено: 2 октября 2026 г.
Планетарное зацепление трилистника
Починка О. В., Баранов Д. А., Ноздринова Е. В., Теоретическая и математическая физика 2026 Т. 229 № 1 С. 3–14
Частично решена задача Бирмана–Вильямса об описании планетарного зацепления расслоенного узла K ⊂ S3. С использованием теории Нильсена классификации периодических гомеоморфизмов поверхностей и ее тесной связи с теорией градиентно-подобных диффеоморфизмов доказано, что планетарным зацеплением трилистника (единственного периодического расслоенного узла рода 1) является зацепление, состоящее из трилистника и зацепления Хопфа. Кроме того, классифицированы все потоки на 3-сфере S3, реализующие ...
Добавлено: 2 октября 2026 г.
A quantum–analogue formalism for modeling supraliminal information processing
Лубашевский И. А., Lubashevskiy V., Physica D: Nonlinear Phenomena 2026 Vol. 498 Article 135441
Добавлено: 2 октября 2026 г.
Консервативные энтропийно и энергетически корректные разностные методы для одномерных квазигазодинамических систем уравнений
Злотник А. А., Математические заметки 2026 Т. 120 № 6 С. 1005–1009
Численным методам решения систем газодинамических уравнений посвящена обширная литература. Ранее было разработано и успешно апробировано специальное семейство симметричных по пространству  консервативных разностных методов, основанных на предварительной кинетической, точнее, квазигазодинамической (КГД), регуляризации этих уравнений. Актуальной задачей является построение численных методов, которые обладают не только свойством консервативности по массе, импульсу и полной энергии, но и удовлетворяют условиям энтропийной ...
Добавлено: 1 октября 2026 г.
On some arithmetic conditions of recurrent sequences modulo prime p
Вьюгин И. В., Sashadhar D., Algebra and Number Theory 2026 P. 1–10
We study the K-Fibonacci sequence Fp modulo prime p. Cardinalities of sets |Fp+Fp| and |Fp⋅Fp| are estimated. We present the method of estimating doubling constant of some m-dimensional recurrent sets in Fp. ...
Добавлено: 1 октября 2026 г.
Fractional Macroscopic Fluctuation Theory for a Superdiffusive Ginzburg-Landau dynamics
Бернардан С. Ж., João P. M., Gonçalves P., PROBABILITY AND MATHEMATICAL PHYSICS 2026 P. 59–59
We investigate a boundary-driven Ginzburg-Landau dynamics with long-range interactions. In the hydrodynamic limit, the macroscopic evolution is governed by a fractional heat equation with Dirichlet boundary conditions, while the corresponding stationary profile is characterized by a fractional Laplace equation. We establish a dynamical large deviations principle for the empirical measure and derive the associated stationary ...
Добавлено: 1 октября 2026 г.
Long-time behaviour of dynamical systems driven by bounded mixing noises
Куксин С. Б., Dynamical Systems 2026
Добавлено: 1 октября 2026 г.
Markovian reduction and exponential mixing in total variation for random dynamical systems
Куксин С. Б., Shirikyan A., Journal of Dynamics and Differential Equations 2026 P. 1098–1100
Добавлено: 1 октября 2026 г.
Bounds on the derivatives of the log-cumulative distribution function of the multivariate normal distribution
Потанин Б. С., Долгих С. И., Statistics and Probability Letters 2027 Article 110984
Добавлено: 1 октября 2026 г.
Manuscript tradition of Kallistos Angelikoudes’ Hesychastic consolation: myths and realities of a fluid text
Виноградов А. Ю., Rodionov O., Travaux et Memoires 2026 Vol. 30 No. 2 P. 1075–1089
Добавлено: 1 октября 2026 г.
Asymptotics of Spectrum and Quantum Averages of the Hydrogen Atom in a Magnetic Field Near the Upper Boundaries of Spectral Clusters
A. V. Pereskokov, Journal of Mathematical Sciences 2026 Vol. 302 No. 4 P. 531–545
Добавлено: 1 октября 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 г.
The multiplicative-additive Lambek calculus with subexponential and bracket modalities
Канович М. И., Кузнецов С. Л., Щедров А., Journal of Logic, Language and Information 2021 Vol. 30 No. 1 P. 31–88
Добавлено: 25 ноября 2020 г.
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 г.
Undecidability of a newly proposed calculus for CatLog3
Канович М. И., Кузнецов С. Л., Щедров А., , in: Formal Grammar 2019, 24th International ConferenceVol. 11668.: Berlin: Springer, 2019. P. 67–83.
Добавлено: 15 октября 2019 г.
  • О ВЫШКЕ
  • Цифры и факты
  • Руководство и структура
  • Устойчивое развитие в НИУ ВШЭ
  • Преподаватели и сотрудники
  • Корпуса и общежития
  • Закупки
  • Обращения граждан в НИУ ВШЭ
  • Фонд целевого капитала
  • Противодействие коррупции
  • Сведения о доходах, расходах, об имуществе и обязательствах имущественного характера
  • Сведения об образовательной организации
  • Людям с ограниченными возможностями здоровья
  • Единая платежная страница
  • Работа в Вышке
  • ОБРАЗОВАНИЕ
  • Лицей
  • Довузовская подготовка
  • Олимпиады
  • Прием в бакалавриат
  • Вышка+
  • Прием в магистратуру
  • Аспирантура
  • Дополнительное образование
  • Центр развития карьеры
  • Бизнес-инкубатор ВШЭ
  • Образовательные партнерства
  • Обратная связь и взаимодействие с получателями услуг
  • НАУКА
  • Научные подразделения
  • Исследовательские проекты
  • Мониторинги
  • Диссертационные советы
  • Защиты диссертаций
  • Академическое развитие
  • Конкурсы и гранты
  • Внешние научно-информационные ресурсы
  • РЕСУРСЫ
  • Библиотека
  • Издательский дом ВШЭ
  • Книжный магазин «БукВышка»
  • Типография
  • Медиацентр
  • Журналы ВШЭ
  • Публикации
  • http://www.minobrnauki.gov.ru/
    Министерство науки и высшего образования РФ
  • https://edu.gov.ru/
    Министерство просвещения РФ
  • https://elearning.hse.ru/mooc
    Массовые открытые онлайн-курсы
  • НИУ ВШЭ1993–2026
  • Адреса и контакты
  • Условия использования материалов
  • Политика обработки персональных данных
  • Правила применения рекомендательных технологий в НИУ ВШЭ
  • Карта сайта
Редактору