A. D. Yashin, A. K. Koshcheeva, “New Constants in the Superintuitionistic Logic <nobr>$L2$</nobr>”, Mat. Zametki, 2013, Volume 94, Issue 6,Pages <nobr>918

This article is cited in 1 paper

New Constants in the Superintuitionistic Logic $L2$

A. D. Yashin^a, A. K. Koshcheeva^ba

^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.

UDC: 517.11

Received: 15.04.2011
Revised: 15.01.2013

DOI: 10.4213/mzm9139