• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • A
  • A
  • A
  • A
  • A
Обычная версия сайта
  • RU
  • EN
  • Национальный исследовательский университет «Высшая школа экономики»
  • Публикации ВШЭ
  • Статьи
  • Cobordisms and Commutative Categorial Grammars
  • 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
  • еще
Тематика
Новости
17 июня 2026 г.
Биоинформатики НИУ ВШЭ обнаружили 20 опасных мутаций в гене, связанном с легочной артериальной гипертензией
Ученые НИУ ВШЭ совместно с коллегами из российских университетов выяснили, какие мутации в гене ACVRL1 опасны для пациентов с легочной артериальной гипертензией. Они смоделировали, как изменения в гене влияют на связывание АТФ с белком — процесс, от которого зависит передача сигналов, необходимых для работы сосудов. Оказалось, что 20 из 32 вариантов могут нарушать передачу сигнала и провоцировать болезнь. Результаты опубликованы в Journal of Structural Biology.
17 июня 2026 г.
Интеллектуальная робототехника: кадровый голод и масса возможностей
Пока на рынке мало кадров, способных заниматься разработкой интеллектуальных робототехнических систем. Между тем именно к этому идет робототехника. Как учат ее проектированию и каково будущее отрасли, в интервью IQ Media рассказал заведующий Проектно-учебной лабораторией робототехники НИУ ВШЭ Вадим Моргачев.
17 июня 2026 г.
Каким должно быть образование, чтобы готовить кадры для экономики будущего
Эти вопросы обсудят на форуме HR EXPO PRO ЛЮДЕЙ, который состоится 18-19 июня в Москве. В его работе примет участие ректор НИУ ВШЭ Никита Анисимов, федеральные министры, HR-директора компаний, ректоры вузов, эксперты. На форуме будет представлен стенд, посвященный программам ДПО НИУ ВШЭ.

 

Нашли опечатку?
Выделите её, нажмите 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компактная категория
Похожие публикации
Optimal Extraction with an Impact on Diffusion-Jump Pricing
Garzón J., Mora Rodríguez J., Морено Ф. Г., Applied Mathematics and Optimization 2026 Vol. 94 No. 10 P. 1–43
Добавлено: 17 июня 2026 г.
Актуальные проблемы теоретической и прикладной лингвистики: опыт молодых исследователей. Cборник научных статей.
СПб.: Санкт-Петербургский государственный экономический университет, 2024.
Сборник научных статей подготовлен на кафедре английской филологии и перевода гуманитарного факультета Санкт-Петербургского государственного экономического университета. Он содержит исследования по актуальным проблемам современного языкознания, которые отражают современные тенденции развития науки о языке и присущую ей междис-циплинарность. Сборник адресован студентам, магистрантам, аспирантам и специалистам в области языкознания, а также широкому кругу читателей, интересующихся проблемами современной лингвистики. ...
Добавлено: 16 июня 2026 г.
Об устройстве целевого приёма в России.
Нестеров А. С., Журнал Новой экономической ассоциации 2026
В этой статье рассматривается целевой приём в вузы в России с точки зрения науки об устройстве рынков сочетания и экономических механизмов (matching market and mechanism design), ключевого направления современной теории игр. Мы изучаем механизм целевого приёма -- набор правил, по которым устраивается трёхстороннее сочетание между абитуриентом, заказчиком и образовательной программой. Используемый в России механизм имеет ...
Добавлено: 16 июня 2026 г.
Female aging in Eastern European advertising: semiosis, representation, reinterpretation
Запорожцева Л. Е., Semiotica 2026 P. 1–20
Добавлено: 16 июня 2026 г.
Русские тексты рубежа XVII–XVIII вв. в немецком издании «Травника» Маттиоли (Prag, 1563)
Лифшиц А. Л., Святохина Е. В., Одиссей: Человек в истории 2026 № 1 С. 156–173
Статья вводит в научный оборот новый источник по истории русского языка, науки и культуры конца XVII в. Многочисленные русские подписи к гравюрам были обнаружены в экземпляре «Травника» великого ренессансного ботаника и фармацевта Пьетро Андреа Маттиоли, изданного в Праге на немецком языке в 1563 г. Кроме транслитерации латинских названий, книга содержит чрезвычайно значительное число славянских фитонимов, ...
Добавлено: 15 июня 2026 г.
Дрожащие огни: что видел Лермонтов?
Лифшиц А. Л., Живая старина 2026 № 2 (130) С. 38–40
В заметке делается попытка увидеть ночной пейзаж глазами автора текста, давно ставшего школьной классикой. Традиционная интерпретация приписывает стихотворению народность, которой Лермонтов, вероятно, не имел в виду. Сопоставление с современными поэту текстами показывает, что родина Лермонтова не крестьянская, а мелкопоместная Россия степных губерний. ...
Добавлено: 15 июня 2026 г.
Колебания в употреблении протоартикля при одушевленных функциональных именах в готском языке и проблема «анафорической стадии» грамматикализации артикля
Пименова Н. Б., Индоевропейское языкознание и классическая филология 2026 Т. 30 № 2 С. 313–322
В статье анализируются некоторые примеры непоследовательного употребления анафорического артикля в готском языке (IV в. н.э., восточногерманская группа), который считается классическим примером языка, находящегося на первой, анафорической стадии грамматикализации артикля. Помимо описанных в литературе нарушений анафорического правила: контекстов с локативными именами и обозначениями ‘множества’ одушевленных лиц, — мы можем фиксировать неоднократные колебания артикля при именах berusjos, ...
Добавлено: 15 июня 2026 г.
A Note on the Qumran Version of Isa 5:18
von Büttner Сyrill, Textus 2024 No. 32/2 P. 156–167
Добавлено: 15 июня 2026 г.
Идеологема «искусственный интеллект» в образе сильного государства (по материалам российского и китайского медиадискурсов)
Романова Т. В., Бинштейн М. М., Медиалингвистика 2026 Т. 13 № 1 С. 28–50
В данной статье противопоставляется узкое и широкое понимание содержание термина ИИ, фиксируется история его появления. Функционирование термина ИИ рассматривается  в сопоставительном аспекте по данным российских и китайских медийных источников: ...
Добавлено: 14 июня 2026 г.
Самосознание в зеркале метафоры: квантитативный анализ метафорической системы раннего творчества Уоллеса Стивенса (1879–1955)
Чихачева Д. В., Человек: образ и сущность. Гуманитарные аспекты 2026 № 2 С. 217–228
Данное исследование фокусируется на раннем периоде творчества американского поэта Уоллеса Стивенса. Проведенный квантитативный анализ позволил определить доминанты метафорической системы этого периода творчества. Было установлено, что центральным смыслообразующим концептом в метафорике раннего творчества У. Стивенса выступает «СУЩЕСТВО». Исследование показывает, что поэтическая картина мира автора в этот период характеризуется тотальным панвитализмом – У. Стивенс наделяет атрибутами субъектности ...
Добавлено: 11 июня 2026 г.
Актуальные проблемы теоретической и прикладной лингвистики: опыт молодых исследователей
Растворова Ю. С., Михайлов Т. М., СПб.: Санкт-Петербургский государственный экономический университет, 2024.
Сборник научных статей подготовлен на кафедре английской филологии и перевода гуманитарного факультета Санкт-Петербургского государственного экономического университета. Он содержит исследования по актуальным проблемам современного языкознания, которые отражают современные тенденции развития науки о языке и присущую ей междис-циплинарность. Сборник адресован студентам, магистрантам, аспирантам и специалистам в области языкознания, а также широкому кругу читателей, интересующихся проблемами современной лингвистики. ...
Добавлено: 10 июня 2026 г.
On the Ramsey Number R(K_{1,s},P_t)
Kh. Kh. Abdullin, D. B. Mokeev, D. S. Taletskii, Mathematical notes 2026 Vol. 119 No. 1 P. 3–7
Добавлено: 10 июня 2026 г.
«Увидел он гордеца павшим…» Мятеж Амасиса против Априя и египетский поход Навуходоносора II в древней и средневековой традиции
Ладынин И. А., Немировский А. А., Банщикова А. А. и др., М.: Издательство «Альма Матер», 2026.
В коллективной монографии подробно анализируются источники, связанные с предысторией, ходом и последствиями малоизвестного эпизода истории древнего Египта и Ближнего Востока – узурпации власти в Египте военачальником Амасисом у царя XXVI династии Априя (570-567 гг. до н.э.) и вмешательства в их противостояние вавилонского царя Навуходоносора II (567 г. до н.э.). Рассматривается значимость этого эпизода в восприятии ...
Добавлено: 10 июня 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 г.
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 г.
  • О ВЫШКЕ
  • Цифры и факты
  • Руководство и структура
  • Устойчивое развитие в НИУ ВШЭ
  • Преподаватели и сотрудники
  • Корпуса и общежития
  • Закупки
  • Обращения граждан в НИУ ВШЭ
  • Фонд целевого капитала
  • Противодействие коррупции
  • Сведения о доходах, расходах, об имуществе и обязательствах имущественного характера
  • Сведения об образовательной организации
  • Людям с ограниченными возможностями здоровья
  • Единая платежная страница
  • Работа в Вышке
  • ОБРАЗОВАНИЕ
  • Лицей
  • Довузовская подготовка
  • Олимпиады
  • Прием в бакалавриат
  • Вышка+
  • Прием в магистратуру
  • Аспирантура
  • Дополнительное образование
  • Центр развития карьеры
  • Бизнес-инкубатор ВШЭ
  • Образовательные партнерства
  • Обратная связь и взаимодействие с получателями услуг
  • НАУКА
  • Научные подразделения
  • Исследовательские проекты
  • Мониторинги
  • Диссертационные советы
  • Защиты диссертаций
  • Академическое развитие
  • Конкурсы и гранты
  • Внешние научно-информационные ресурсы
  • РЕСУРСЫ
  • Библиотека
  • Издательский дом ВШЭ
  • Книжный магазин «БукВышка»
  • Типография
  • Медиацентр
  • Журналы ВШЭ
  • Публикации
  • http://www.minobrnauki.gov.ru/
    Министерство науки и высшего образования РФ
  • https://edu.gov.ru/
    Министерство просвещения РФ
  • http://www.edu.ru
    Федеральный портал «Российское образование»
  • https://elearning.hse.ru/mooc
    Массовые открытые онлайн-курсы
  • НИУ ВШЭ1993–2026
  • Адреса и контакты
  • Условия использования материалов
  • Политика конфиденциальности
  • Правила применения рекомендательных технологий в НИУ ВШЭ
  • Карта сайта
Редактору