|
This article is cited in 1 scientific paper (total in 1 paper)
New Constants in the Superintuitionistic Logic $L2$
A. D. Yashina, A. K. Koshcheevaba a Moscow City University of Psychology and Pedagogics
b Udmurt State University, Izhevsk
Abstract:
A classification of all Novikov complete extensions of the superintuitionistic logic $L2$ in a language with several extra constants is given. The decidability of the (algorithmic) conservativeness problem for extensions of the form $L2+A(\overline\varphi)$ over $L2$ is established.
Keywords:
superintuitionistic logic $L2$, conservativeness problem, language with extra constants, Novikov complete extension, Heyting algebra.
Received: 15.04.2011 Revised: 15.01.2013
Citation:
A. D. Yashin, A. K. Koshcheeva, “New Constants in the Superintuitionistic Logic $L2$”, Mat. Zametki, 94:6 (2013), 918–932; Math. Notes, 94:6 (2013), 938–950
Linking options:
https://www.mathnet.ru/eng/mzm9139https://doi.org/10.4213/mzm9139 https://www.mathnet.ru/eng/mzm/v94/i6/p918
|
|