Сильная вычислимость слоев над логикой Gl | Sciact - Система учета научной деятельности ИМ СО РАН

Сильная вычислимость слоев над логикой Gl Научная публикация

Журнал

Сибирские электронные математические известия (Siberian Electronic Mathematical Reports)
, E-ISSN: 1813-3304

Вых. Данные

Год: 2018, Том: 15, Страницы: 35-47 Страниц : 13 DOI: 10.17377/semi.2018.15.005

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

Decidability; Kripke frame; Recognizable logic; Slices; The minimal logic

Авторы

Максимова Лариса Львовна ^1,2 , Юн Вета Федоровна ^1,2

Организации

1	Институт математики им. С.Л. Соболева СО РАН
2	Новосибирский государственный университет

Максимова Л.Л. , Юн В.Ф.
Сильная вычислимость слоев над логикой Gl
Сибирские электронные математические известия (Siberian Electronic Mathematical Reports). 2018. Т.15. С.35-47. DOI: 10.17377/semi.2018.15.005 WOS Scopus OpenAlex

Web of science:	WOS:000438412200005
Scopus:	2-s2.0-85074902291
OpenAlex:	W3174714985

БД	Цитирований
Scopus	1
OpenAlex	1
Web of science	1