Perceptibility in pre-Heyting logics Full article
| Journal |
Сибирские электронные математические известия (Siberian Electronic Mathematical Reports)
, E-ISSN: 1813-3304 |
||
|---|---|---|---|
| Output data | Year: 2020, Volume: 17, Pages: 1064-1072 Pages count : 9 DOI: 10.33048/semi.2020.17.080 | ||
| Tags | calculus; Heyting algebra; Johansson algebra; minimal logic; perceptibility; pre-Heyting logic; Recognizability; superintuitionistic logic | ||
| Authors |
|
||
| Affiliations |
|
Cite:
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
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
Identifiers:
| Web of science: | WOS:000557458300001 |
| Scopus: | 2-s2.0-85099218244 |
| OpenAlex: | W3116022542 |