A new constant in superintuitionistic logic $L3$
Algebra i logika, Tome 54 (2015) no. 1, pp. 34-52
Voir la notice de l'article provenant de la source Math-Net.Ru
It is proved that there exist exactly five Novikov complete extensions of the superintuitionistic logic $L3$ in a language with one extra logical constant.
Keywords:
superintuitionistic logic $L3$, new logical constant, Novikov complete extensions.
@article{AL_2015_54_1_a2,
author = {A. K. Koshcheeva},
title = {A new constant in superintuitionistic logic~$L3$},
journal = {Algebra i logika},
pages = {34--52},
publisher = {mathdoc},
volume = {54},
number = {1},
year = {2015},
language = {ru},
url = {http://geodesic.mathdoc.fr/item/AL_2015_54_1_a2/}
}
A. K. Koshcheeva. A new constant in superintuitionistic logic $L3$. Algebra i logika, Tome 54 (2015) no. 1, pp. 34-52. http://geodesic.mathdoc.fr/item/AL_2015_54_1_a2/