• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • A
  • A
  • A
  • A
  • A
Обычная версия сайта
  • RU
  • EN
  • Национальный исследовательский университет «Высшая школа экономики»
  • Публикации ВШЭ
  • Глава
  • Bracket Induction for Lambek Calculus with Bracket Modalities
  • 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
  • еще
Тематика
Новости
8 июня 2026 г.
«За 12 лет на нашем счету почти 1000 операций с пробуждением»
В НИУ ВШЭ прошла XIII Летняя нейролингвистическая школа, организованная Центром языка и мозга при поддержке факультета гуманитарных наук НИУ ВШЭ. В центре внимания слушателей была совместная работа нейролингвистов, нейрохирургов и нейрофизиологов в операционной, стандартизация лингвистических парадигм и практические подходы к сохранению речевой функции пациентов.
5 июня 2026 г.
Аспирантка НИУ ВШЭ открыла «невидимую» планировку античного Париона
Исследовательница из НИУ ВШЭ Идиль Малгиль изучила с помощью дрона с лазерным сканером сверхвысокого разрешения древнеримский город Парион, расположенный на территории современной Турции. Благодаря высокой плотности сканирования удалось зафиксировать крошечные неровности рельефа, скрытые под землей и растительностью. Обнаружены следы целых кварталов, террасных систем и стен, которые невозможно было различить ни при обычных раскопках, ни с помощью аэрофотосъемки. Результаты исследованияо публикованы в международном научном журнале Ancient Civilizations from Scythia to Siberia.
2 июня 2026 г.
От Волги до Янцзы: математики из Нижнего Новгорода и Шанхая изучают устойчивость систем
Математики НИУ ВШЭ в Нижнем Новгороде совместно с коллегами из шанхайского Университета Тунцзи исследуют фундаментальные причины структурной устойчивости систем и механизмы их нарушения. О развитии проекта Qualitative Theory of Systems of Ordinary and Partial Differential Equations в рамках программы НИУ ВШЭ «Международное академическое сотрудничество» «Вышке.Главное» рассказала его руководитель, профессор Ольга Починка, заведующая Международной лабораторией динамических систем и приложений НИУ ВШЭ в Нижнем Новгороде.


 

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

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

?

Bracket Induction for Lambek Calculus with Bracket Modalities

P. 84–101.
Кузнецов С. Л., Канович М. И., Щедров А.
Язык: английский
DOI
Ключевые слова: linguistics computer science

В книге

International Conference on Formal Grammar FG 2018: Formal Grammar 2018
Netherlands: Springer, 2018.
Похожие публикации
WWW '26: Proceedings of the ACM Web Conference 2026
NY: Association for Computing Machinery (ACM), 2026.
Добавлено: 23 апреля 2026 г.
Миратив, нарратив, креатив: Сборник статей к юбилею Миры Бергельсон
М.: Буки Веди, 2026.
Книга приурочена к юбилею профессора Высшей школы экономики Миры Борисовны Бергельсон. В состав книги вошли более 70 текстов, посвященных различным вопросам лингвистики, теории коммуникации, языковой политики, других областей науки, а также личным впечатлениям от общения с юбиляром. Книга адресована широкому кругу читателей, интересующихся вопросами лингвистики и смежных дисциплин. ...
Добавлено: 8 апреля 2026 г.
The effect of spelling errors on reading tasks: A study on Russian
Слюсарь Н. А., Chernova D., Magomedova V. и др., The Mental Lexicon 2026 P. 1–31
Добавлено: 26 марта 2026 г.
Информатика и прикладная математика: Материалы IX Международной научно-пракической конференции (31.10 - 1.11.2024 г.)
Алматы: Институт информационных и вычислительных технологий КН МНВО РК, 2024.
В сборнике опубликованы доклады, представленные учеными от Республики Казахстан, Российской Федерации, Латвии, Польши, Республики Белорусь, Японии, Ирана, Малайзии, Кыргызской Республики, Республики Узбекистан и других. Рассмотрены актуальные вопросы в области математики, информатики и управления: математического моделирования сложных систем и бизнес-процессов, исследования и разработки защищенных и интеллектуальных информационных и телекоммуникационных технологий, математической теории управления, технологий искусственного интеллекта. Материалы сборника ...
Добавлено: 3 марта 2026 г.
Conceptual Knowledge Structures First International Joint Conference, CONCEPTS 2024, Cádiz, Spain, September 9–13, 2024, Proceedings
Объедков С. А., Switzerland: Springer, 2024.
Добавлено: 23 января 2026 г.
Evidence from Acceptability Judgments Data
Mañas I., Rosado E., Fullana N. и др., Circulo de Linguistica Aplicada a la Comunicacion 2021 Vol. 87 P. 17–37
Добавлено: 29 ноября 2025 г.
Letter processing in Russian: Does orthography matter?
Алексеева С. В., Dobrego A., Acta Psychologica 2021 Vol. 218 P. 103355
Добавлено: 29 ноября 2025 г.
The effect of a dyslexia-specific Cyrillic font, Lexiad, on reading speed: further exploration in adolescents with and without dyslexia
Алексеева С. В., Zubov V., Konina A., Primenjena Psihologija 2022 Vol. 15 No. 2 P. 199–236
Добавлено: 29 ноября 2025 г.
Expanding horizons of cross-linguistic research on reading: The Multilingual Eye-movement Corpus (MECO)
Siegelman N., Schroeder S., Acartürk C. и др., Behavior Research Methods 2022 Vol. 54 No. 6 P. 2843–2863
Добавлено: 29 ноября 2025 г.
Text reading in English as a second language: evidence from the Multilingual Eye-Movements Corpus
Kuperman V., Siegelman N., Schroeder S. и др., Studies in Second Language Acquisition 2023 Vol. 45 No. 1 P. 3–37
Добавлено: 29 ноября 2025 г.
SIGNAL: Dataset for Semantic and Inferred Grammar Neurological Analysis of Language
Комиссаренко А. А., Voloshina E., Чевелева А. Н. и др., Scientific data 2025 Vol. 12 No. 1 Article 1687
Добавлено: 18 ноября 2025 г.
8th International Conference on Computing, Control and Industrial Engineering (CCIE2024). Advances in Computing, Control and Industrial Engineering VIII (Volume 1). (LNEE, volume 1252)
Singapore: Springer, 2024.
Добавлено: 6 ноября 2025 г.
Syntactic subordination affects discourse accessibility and subjective propositional importance: evidence from Russian
Bursov K., Слюсарь Н. А., Discourse Processes 2025 Vol. 62 No. 3 P. 155–176
Добавлено: 31 октября 2025 г.
Greek and Barbarians Networking on the Shores of the Black Sea and Beyond. Ἐπισκύθισον: Studies Presented to Askold Ivantchik for His Sixtieth Birthday
Boston, Leiden: Brill, 2025.
Добавлено: 6 октября 2025 г.
N’yng-dyuumgu, n’yng-ngafq: Festschrift for Ekaterina Gruzdeva
Helsinki: Studia Orientalia, 2025.
Добавлено: 5 сентября 2025 г.
LII Международная научная филологическая конференция имени Людмилы Алексеевны Вербицкой, 19–26 марта 2024 года, Санкт-Петербург: сборник тезисов
СПб.: Издательство Санкт-Петербургского государственного университета, 2024.
Cборник содержит тезисы докладов LII Международной научной филологической конфе ренции имени Людмилы Алексеевны Вербицкой, прошедшей 19–26 марта 2024 года в Санкт Петербургском государственном университете. В сборнике представлены результаты тео ретических и прикладных исследований по самому широкому кругу актуальных проблем по филологии, разделенных по направлениям «История литературы», «Классическая филология, библеистка, неоэллинистка, балканистика», «Культурная антропология и теоретические ...
Добавлено: 2 сентября 2025 г.
Шугнанские этюды. Сборник статей о шугнанском языке
Хорог: Институт гуманитарных наук НАНТ, 2025.
Сборник «Шугнанские этюды» (2025) — переиздание статей о шугнанском языке, опубликованных «памирским проектом» ВШЭ в 2020–2023 годах. ...
Добавлено: 2 августа 2025 г.
To inflect, or not to inflect, that is the question: an experimental study of indeclinability in Russian
Chuprinko K., Слюсарь Н. А., Journal of Slavic Linguistics 2025 P. 1–16
Добавлено: 16 июля 2025 г.
Reliable Queuing One-Way Delay Metric for Computer Networks
Kulya M., Пусев Р. С., Moskvitin D., , in: 2025 International Russian Smart Industry Conference (SmartIndustryCon).: Sochi: IEEE, 2025. P. 83–88.
Добавлено: 19 мая 2025 г.
Сборник научных трудов по итогам выполнения научно-исследовательской работы в Институте иностранных языков МПГУ за 2024/2025 учебный год
Гаевская М. А., М.: МПГУ, 2026.
В статье рассматриваются подходы к изучению речевого конфликта в различных течениях лингвистиче6ской науки. Автор сравнивает взгляды на природу речевого конфликта в России и за рубежом. ...
Добавлено: 12 мая 2025 г.
  • О ВЫШКЕ
  • Цифры и факты
  • Руководство и структура
  • Устойчивое развитие в НИУ ВШЭ
  • Преподаватели и сотрудники
  • Корпуса и общежития
  • Закупки
  • Обращения граждан в НИУ ВШЭ
  • Фонд целевого капитала
  • Противодействие коррупции
  • Сведения о доходах, расходах, об имуществе и обязательствах имущественного характера
  • Сведения об образовательной организации
  • Людям с ограниченными возможностями здоровья
  • Единая платежная страница
  • Работа в Вышке
  • ОБРАЗОВАНИЕ
  • Лицей
  • Довузовская подготовка
  • Олимпиады
  • Прием в бакалавриат
  • Вышка+
  • Прием в магистратуру
  • Аспирантура
  • Дополнительное образование
  • Центр развития карьеры
  • Бизнес-инкубатор ВШЭ
  • Образовательные партнерства
  • Обратная связь и взаимодействие с получателями услуг
  • НАУКА
  • Научные подразделения
  • Исследовательские проекты
  • Мониторинги
  • Диссертационные советы
  • Защиты диссертаций
  • Академическое развитие
  • Конкурсы и гранты
  • Внешние научно-информационные ресурсы
  • РЕСУРСЫ
  • Библиотека
  • Издательский дом ВШЭ
  • Книжный магазин «БукВышка»
  • Типография
  • Медиацентр
  • Журналы ВШЭ
  • Публикации
  • http://www.minobrnauki.gov.ru/
    Министерство науки и высшего образования РФ
  • https://edu.gov.ru/
    Министерство просвещения РФ
  • http://www.edu.ru
    Федеральный портал «Российское образование»
  • https://elearning.hse.ru/mooc
    Массовые открытые онлайн-курсы
  • НИУ ВШЭ1993–2026
  • Адреса и контакты
  • Условия использования материалов
  • Политика конфиденциальности
  • Правила применения рекомендательных технологий в НИУ ВШЭ
  • Карта сайта
Редактору