|
Сибирские электронные математические известия, 2011, том 8, страницы 365–368
(Mi semr334)
|
|
|
|
Эта публикация цитируется в 1 научной статье (всего в 1 статье)
Glivenko theorem for $N^*$-extensions
S. P. Odintsov Sobolev Institute of Mathematics, Siberian Branch of the Russian Academy of Sciences, Novosibirsk
Аннотация:
Logic $N^*$ was defined semantically via combination of Kripke frames for intuitionistic logic with Routley's $*$-operator, which is used to interpret the negation operation. In this notice, we find out the least logic in the class of $N^*$-extensions, which satisfy Glivenko's theorem, and describe the Kripke semantics of this logic.
Ключевые слова:
Routley semantics, Glivenko theorem.
Поступила 15 июля 2011 г., опубликована 14 декабря 2011 г.
Образец цитирования:
S. P. Odintsov, “Glivenko theorem for $N^*$-extensions”, Сиб. электрон. матем. изв., 8 (2011), 365–368
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/semr334 https://www.mathnet.ru/rus/semr/v8/p365
|
Статистика просмотров: |
Страница аннотации: | 326 | PDF полного текста: | 64 | Список литературы: | 57 |
|