Geodesic
New Constants in the Superintuitionistic Logic~$L2$
Matematičeskie zametki, Tome 94 (2013) no. 6, pp. 918-932

Voir la notice de l'article provenant de la source Math-Net.Ru

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
Mots-clés : Heyting algebra. 
@article{MZM_2013_94_6_a10,
     author = {A. D. Yashin and A. K. Koshcheeva},
     title = {New {Constants} in the {Superintuitionistic} {Logic~}$L2$},
     journal = {Matemati\v{c}eskie zametki},
     pages = {918--932},
     publisher = {mathdoc},
     volume = {94},
     number = {6},
     year = {2013},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/MZM_2013_94_6_a10/}
}
TY  - JOUR
AU  - A. D. Yashin
AU  - A. K. Koshcheeva
TI  - New Constants in the Superintuitionistic Logic~$L2$
JO  - Matematičeskie zametki
PY  - 2013
SP  - 918
EP  - 932
VL  - 94
IS  - 6
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/MZM_2013_94_6_a10/
LA  - ru
ID  - MZM_2013_94_6_a10
ER  - 
%0 Journal Article
%A A. D. Yashin
%A A. K. Koshcheeva
%T New Constants in the Superintuitionistic Logic~$L2$
%J Matematičeskie zametki
%D 2013
%P 918-932
%V 94
%N 6
%I mathdoc
%U http://geodesic.mathdoc.fr/item/MZM_2013_94_6_a10/
%G ru
%F MZM_2013_94_6_a10
A. D. Yashin; A. K. Koshcheeva. New Constants in the Superintuitionistic Logic~$L2$. Matematičeskie zametki, Tome 94 (2013) no. 6, pp. 918-932. http://geodesic.mathdoc.fr/item/MZM_2013_94_6_a10/