RUS  ENG
Полная версия
ЖУРНАЛЫ // Сибирские электронные математические известия // Архив

Сиб. электрон. матем. изв., 2011, том 8, страницы 365–368 (Mi semr334)

Эта публикация цитируется в 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.

УДК: 510.64

MSC: 03B20,03B70

Поступила 15 июля 2011 г., опубликована 14 декабря 2011 г.

Язык публикации: английский



© МИАН, 2024