Undecidability of the Lambek Calculus with Subexponential and Bracket Modalities

Kanovich Max; Scedrov Andre; Kuznetsov Stepan

doi:10.1007/978-3-662-55751-8_26

Публикации

Глава

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