Geodesic
Separability of normalizable superintuitionistic propositional logics
Matematičeskie zametki, Tome 64 (1998) no. 4, pp. 606-615

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

The problem of separability of superintuitionistic propositional logics that are extensions of the intuitionistic propositional logic is studied. A criterion of separability of normal superintuitionistic propositional logics, as well as results concerning the completeness of their subcalculi is obtained. This criterion makes it possible to determine whether a normalizable superintuitionistic propositional logic is separable. By means of these results, the mistakes discovered by the author in the proofs of certain statements by McKay and Hosoi are corrected. 
@article{MZM_1998_64_4_a13,
     author = {V. I. Khomich},
     title = {Separability of normalizable superintuitionistic propositional logics},
     journal = {Matemati\v{c}eskie zametki},
     pages = {606--615},
     publisher = {mathdoc},
     volume = {64},
     number = {4},
     year = {1998},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/MZM_1998_64_4_a13/}
}
TY  - JOUR
AU  - V. I. Khomich
TI  - Separability of normalizable superintuitionistic propositional logics
JO  - Matematičeskie zametki
PY  - 1998
SP  - 606
EP  - 615
VL  - 64
IS  - 4
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/MZM_1998_64_4_a13/
LA  - ru
ID  - MZM_1998_64_4_a13
ER  - 
%0 Journal Article
%A V. I. Khomich
%T Separability of normalizable superintuitionistic propositional logics
%J Matematičeskie zametki
%D 1998
%P 606-615
%V 64
%N 4
%I mathdoc
%U http://geodesic.mathdoc.fr/item/MZM_1998_64_4_a13/
%G ru
%F MZM_1998_64_4_a13
V. I. Khomich. Separability of normalizable superintuitionistic propositional logics. Matematičeskie zametki, Tome 64 (1998) no. 4, pp. 606-615. http://geodesic.mathdoc.fr/item/MZM_1998_64_4_a13/