Geodesic
The simple substitution property for superintuitionistic propositional logics and its relation to the separability property
Izvestiya. Mathematics , Tome 67 (2003) no. 2, pp. 377-404

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

We study the simple substitution property for superintuitionistic propositional calculi, which are axiomatizations of superintuitionistic propositional logic, and obtain an algebraic criteria for the existence of this property. This is used to prove that many logics, including almost all of those generated by formulae in one variable, do not have the simple substitution property. We obtain a series of results that establish a connection between separability and possession of this property by axiomatizations of the logics considered. 
@article{IM2_2003_67_2_a7,
     author = {V. I. Khomich},
     title = {The simple substitution property for superintuitionistic propositional logics and its relation to the separability property},
     journal = {Izvestiya. Mathematics },
     pages = {377--404},
     publisher = {mathdoc},
     volume = {67},
     number = {2},
     year = {2003},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/IM2_2003_67_2_a7/}
}
TY  - JOUR
AU  - V. I. Khomich
TI  - The simple substitution property for superintuitionistic propositional logics and its relation to the separability property
JO  - Izvestiya. Mathematics 
PY  - 2003
SP  - 377
EP  - 404
VL  - 67
IS  - 2
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/IM2_2003_67_2_a7/
LA  - en
ID  - IM2_2003_67_2_a7
ER  - 
%0 Journal Article
%A V. I. Khomich
%T The simple substitution property for superintuitionistic propositional logics and its relation to the separability property
%J Izvestiya. Mathematics 
%D 2003
%P 377-404
%V 67
%N 2
%I mathdoc
%U http://geodesic.mathdoc.fr/item/IM2_2003_67_2_a7/
%G en
%F IM2_2003_67_2_a7
V. I. Khomich. The simple substitution property for superintuitionistic propositional logics and its relation to the separability property. Izvestiya. Mathematics , Tome 67 (2003) no. 2, pp. 377-404. http://geodesic.mathdoc.fr/item/IM2_2003_67_2_a7/