• A
  • A
  • A
  • АБB
  • АБB
  • АБB
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта
Расширенный поиск
«Высшая школа экономики»
Расширенный поиск
Высшая школа экономики
Национальный исследовательский университет
Приоритетные направления
по году
Тематика
Новости
1 марта 2021
ВШЭ и Центр перспективных управленческих решений развивают проект о научно-исследовательских данных
Вышка и Центр перспективных управленческих решений (ЦПУР) заключили соглашение о сотрудничестве в рамках проекта «Инфраструктура научно-исследовательских данных» (ИНИД). Эксперты университета и ЦПУР планируют обмен информацией, опытом и научными материалами, а также ведение совместных исследований на основе анализа массивов государственных и других открытых данных.
24 февраля 2021
Патриотизм: эмоции или действие?
Две трети жителей нашей страны понимают патриотизм как любовь к Родине. И в восемь раз меньше россиян считают патриотизмом трату своих денег и времени на пользу обществу.
24 февраля 2021
Выявлена наследственная предрасположенность к тяжелому течению COVID-19
Исследователи из ВШЭ впервые в мире выявили наследственную предрасположенность к тяжелому течению COVID-19. Результаты исследования опубликованы в журнале Frontiers in Immunology.

Глава

Undecidability of the Lambek Calculus with Subexponential and Bracket Modalities

P. 326-340.
Kanovich M., Scedrov A., Kuznetsov S.
Язык: английский
DOI
Текст на другом сайте
Ключевые слова: Lambek calculus
Публикация подготовлена по результатам проекта: Хорошо интерпретируемые методы интеллектуального анализа семантически насыщенных данных и их приложения(2017)

В книге

21st International Symposium, Fundamentals of Computation Theory 2017, FCT 2017
Springer, 2017.
Похожие публикации
L-models and R-models for Lambek calculus enriched with additives and the multiplicative unit
Kanovich M., Kuznetsov S., Scedrov A. In bk.: Logic, Language, Information, and Computation: 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings. Vol. 11541: Lecture Notes in Computer Science. Berlin; Heidelberg: Springer, 2019. P. 373-391.
Добавлено: 4 сентября 2019
A Logical Framework with Commutative and Non-commutative Subexponentials
Kanovich M., Kuznetsov S., Nigam V. et al. In bk.: 9TH INTERNATIONAL JOINT CONFERENCE ON AUTOMATED REASONING. Iss. 10900. Springer International Publishing AG, part of Springer Nature 2018, 2018. P. 228-245.
Добавлено: 11 июля 2018
Trivalent logics arising from L-models for the Lambek calculus with constants
S. L. Kuznetsov. Journal of Applied Non-Classical Logics. 2014. Vol. 14. No. 1-2. P. 132-137.
Добавлено: 23 октября 2016
Product-Free Lambek Calculus Is NP-Complete
Savateev Y. Annals of Pure and Applied Logic. 2012. Vol. 163. P. 775-788.
Добавлено: 20 октября 2014
Применение сетей доказательств для исследования фрагментов исчисления Ламбека
Саватеев Ю. В. Известия РАН. Серия математическая. 2011. Т. 75. № 3. С. 189-222.

С помощью сетей доказательств исследуется алгоритмическая сложность проблемы выводимости в некоторых фрагментах исчисления Ламбека. Доказана NP-полнота этой задачи для одностороннего фрагмента и для фрагмента без умножения, а также для вариантов этих фрагментов, допускающих пустые антецеденты.

Добавлено: 20 октября 2014
On Lambek’s Restriction in the Presence of Exponential Modalities
Kanovich M., Kuznetsov S., Scedrov A. In bk.: Symposium on Logical Foundations of Computer Science (LFCS 2016). Vol. 9537: Logical Foundations of Computer Science. Springer, 2016. P. 146-158.
Добавлено: 28 июня 2016