Perceptibility in pre-Heyting logics | Sciact - Система учета научной деятельности ИМ СО РАН

Perceptibility in pre-Heyting logics Научная публикация

Журнал

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

Вых. Данные

Год: 2020, Том: 17, Страницы: 1064-1072 Страниц : 9 DOI: 10.33048/semi.2020.17.080

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

calculus; Heyting algebra; Johansson algebra; minimal logic; perceptibility; pre-Heyting logic; Recognizability; superintuitionistic logic

Авторы

Maksimova L.L. ¹ , Yun V.F. ¹

Организации

1	Sobolev Institute of Mathematics

Maksimova L.L. , Yun V.F.
Perceptibility in pre-Heyting logics
Сибирские электронные математические известия (Siberian Electronic Mathematical Reports). 2020. V.17. P.1064-1072. DOI: 10.33048/semi.2020.17.080 WOS Scopus OpenAlex

Web of science:	WOS:000557458300001
Scopus:	2-s2.0-85099218244
OpenAlex:	W3116022542

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