This article is cited in 1 paper

Glivenko theorem for $N^*$-extensions

S. P. Odintsov

Sobolev Institute of Mathematics, Siberian Branch of the Russian Academy of Sciences, Novosibirsk

Abstract: 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.

Keywords: Routley semantics, Glivenko theorem.

UDC: 510.64

MSC: 03B20,03B70

Received July 15, 2011, published December 14, 2011

Language: English