Сильная вычислимость слоев над логикой Gl Full article
| Journal |
Сибирские электронные математические известия (Siberian Electronic Mathematical Reports)
, E-ISSN: 1813-3304 |
||||
|---|---|---|---|---|---|
| Output data | Year: 2018, Volume: 15, Pages: 35-47 Pages count : 13 DOI: 10.17377/semi.2018.15.005 | ||||
| Tags | Decidability; Kripke frame; Recognizable logic; Slices; The minimal logic | ||||
| Authors |
|
||||
| Affiliations |
|
Cite:
Максимова Л.Л.
, Юн В.Ф.
Сильная вычислимость слоев над логикой Gl
Сибирские электронные математические известия (Siberian Electronic Mathematical Reports). 2018. Т.15. С.35-47. DOI: 10.17377/semi.2018.15.005 WOS Scopus OpenAlex
Сильная вычислимость слоев над логикой Gl
Сибирские электронные математические известия (Siberian Electronic Mathematical Reports). 2018. Т.15. С.35-47. DOI: 10.17377/semi.2018.15.005 WOS Scopus OpenAlex
Identifiers:
| Web of science: | WOS:000438412200005 |
| Scopus: | 2-s2.0-85074902291 |
| OpenAlex: | W3174714985 |