|
Sibirskie Èlektronnye Matematicheskie Izvestiya [Siberian Electronic Mathematical Reports], 2011, Volume 8, Pages 365–368
(Mi semr334)
|
|
|
|
This article is cited in 1 scientific paper (total 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.
Received July 15, 2011, published December 14, 2011
Citation:
S. P. Odintsov, “Glivenko theorem for $N^*$-extensions”, Sib. Èlektron. Mat. Izv., 8 (2011), 365–368
Linking options:
https://www.mathnet.ru/eng/semr334 https://www.mathnet.ru/eng/semr/v8/p365
|
Statistics & downloads: |
Abstract page: | 344 | Full-text PDF : | 69 | References: | 64 |
|