Recognizability in pre-Heyting and well-composed logics › Обзор исследований

Переведенное название	Узнаваемость в предгейтинговых и стройных логиках
Язык оригинала	английский
Страницы (с-по)	427-434
Число страниц	8
Журнал	Сибирские электронные математические известия
Том	16
DOI	https://doi.org/10.33048/semi.2019.16.024
Состояние	Опубликовано - 1 янв. 2019

Calculus, Heyting algebra, Johansson algebra, Minimal logic, Pre- Heyting logic, Recognizability, Strong recognizability, Superintuitionistic logic

ID: 21348284