Archive of Issues
Russia Izhevsk
Section  Mathematics 
Title  Axiomatics of P.S. Novikov complete extensions of the superintuitionistic logic $L2$ in the language containing an additional constant 
Author(s)  Koshcheeva A.K.^{a} 
Affiliations  Udmurt State University^{a} 
Abstract  The Novikov problem for a superintuitionistic logic $L$ is to describe the class of all maximal conservative (i.e. P.S. Novikov complete) extensions of $L$ in the language with additional logical connectives and logical constants. Since the family of all superintuitionistic logics has the power of the continuum, it is sensible to apply the P.S. Novikov problem to superintuitionistic logics which for one reason or other have already come to researchers' attention. In particular, there are three socalled pretabular superintuitionistic logics (i.e. nontabular, but all their own extensions are tabular). One of them  the logic $L2$  is characterized by the class of finite rooted linearly ordered sets of depth 2. It is established that for superintuitionistic logic $L2$ in the language with one additional constant there are exactly five P.S. Novikov complete extensions; their semantic description is given. In this paper we propose an explicit axiomatics for each of the five existing P.S. Novikov complete extensions of the superintuitionistic logic $L2$ in the language containing an additional constant. 
Keywords  the superintuitionistic logic $L2$, a new logical constant, an explicit axiomatics of Novikovcomplete extensions 
UDC  510.64 
MSC  03B55, 03B60 
DOI  10.20537/vm140303 
Received  27 August 2014 
Language  Russian 
Citation  Koshcheeva A.K. Axiomatics of P.S. Novikov complete extensions of the superintuitionistic logic $L2$ in the language containing an additional constant, Vestnik Udmurtskogo Universiteta. Matematika. Mekhanika. Komp'yuternye Nauki, 2014, issue 3, pp. 2839. 
References 

Full text 