On a Generalization of Glivenko’s Theorem


V. M. Popov


We offer a generalization of the well-known Glivenko’s theorem on double-negation translation. In “Sur quelques points de la Logique de M. Brouwer” V.I. Glivenko got a result, which is now called Glivenko’s theorem and which establishes the equivalence between a statement that a formula belongs to classical propositional logic and a statement that a double-negation of this formula belongs to intuitionistic propositional logic. Glivenko’s theorem is an important achievement in the field of research concerning links between logics conducted using the embedding operation. Here we propose a generalization of Glivenko’s theorem and describe a method which is based on this generalization for constructing analogues of the statements that is some special form of Glivenko’s theorem. In this paper we used author’s original sublogics of classical propositional logic. In particular, logic $Int_{<\omega,\omega>}$ played a principal role (it is, also, a sublogic of intuitionistic porpositional logic). The use of this logic made it possible to give such a generalization of Glivenko’s theorem that covers some extensive (cardinality of the continuum) class of sublogics of intuitionistic propositional logic.






Генцен Г. Исследования логических выводов // Математическая теория логического вывода. М., 1967. С. 9–74.
Смирнов В.А. Формальный вывод и логические исчисления // Смирнов В.А. Теория логического вывода. М., 1999. С. 16–233.
Янков В.А. Построение последовательности сильно независимых суперинтуиционистских пропозициональных исчислений // Докл. АН СССР. М., 1968, Т. 181, № 1. С. 33–34.
Glivenko V. Sur quelques points de la Logique de M. Brouwer // Bull. Acad. Royale de Belgique. Bull. de la classes des sciences. 1929. T. 15. Ser. 5. P. 183–188.
Popov V.M. Between $Int_{\langle \omega , \omega \rangle}$ and intuitionistic propositional logic // Logical investigations. М., 2013, Vol. 19. P. 197–199.