Recognizability of All WIP-Minimal Logics | Sciact - Система учета научной деятельности ИМ СО РАН

Журнал

Siberian Mathematical Journal
ISSN: 0037-4466 , E-ISSN: 1573-9260

Вых. Данные

Год: 2018, Том: 59, Номер: 1, Страницы: 179-188 Страниц : 10 DOI: 10.1134/s0037446618010196

Ключевые слова

decidability; interpolation property; minimal logic; recognizable logic

Авторы

Yun V.F. ^1,2

Организации

1	Sobolev Institute of Mathematics
2	Novosibirsk State University

Yun V.F.
Recognizability of All WIP-Minimal Logics
Siberian Mathematical Journal. 2018. V.59. N1. P.179-188. DOI: 10.1134/s0037446618010196 WOS Scopus OpenAlex

Юн В.Ф.
Узнаваемость всех WIP-минимальных логик
Сибирский математический журнал. 2018. Т.59. №1. С.225-237. DOI: 10.17377/smzh.2018.59.119