Completeness via Correspondence for Extensions of Paraconsistent Weak Kleene Logicтезисы доклада

Работа с тезисами доклада


[1] Petrukhin Y. I., Shangin V. O. Completeness via correspondence for extensions of paraconsistent weak kleene logic // Десятые Смирновские чтения по логике. Материалы Международной научной конференции. 15-17 июня 2017 года / Ed. by И. А. Герасимова, О. М. Григорьев, Д. В. Зайцев et al. — Смирновские чтения по логике. — Москва: Москва, 2017. — P. 114–115.

Публикация в формате сохранить в файл сохранить в файл сохранить в файл сохранить в файл сохранить в файл сохранить в файл скрыть