Geodesic
The Smetanich logic $T^{\Phi}$ and two definitions of a new intuitionistic connective
Matematičeskie zametki, Tome 56 (1994) no. 1, pp. 135-142 
A. D. Yashin. The Smetanich logic $T^{\Phi}$ and two definitions of a new intuitionistic connective. Matematičeskie zametki, Tome 56 (1994) no. 1, pp. 135-142. http://geodesic.mathdoc.fr/item/MZM_1994_56_1_a14/
@article{MZM_1994_56_1_a14,
     author = {A. D. Yashin},
     title = {The {Smetanich} logic $T^{\Phi}$ and two definitions of a new intuitionistic connective},
     journal = {Matemati\v{c}eskie zametki},
     pages = {135--142},
     year = {1994},
     volume = {56},
     number = {1},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/MZM_1994_56_1_a14/}
}
TY  - JOUR
AU  - A. D. Yashin
TI  - The Smetanich logic $T^{\Phi}$ and two definitions of a new intuitionistic connective
JO  - Matematičeskie zametki
PY  - 1994
SP  - 135
EP  - 142
VL  - 56
IS  - 1
UR  - http://geodesic.mathdoc.fr/item/MZM_1994_56_1_a14/
LA  - ru
ID  - MZM_1994_56_1_a14
ER  - 
%0 Journal Article
%A A. D. Yashin
%T The Smetanich logic $T^{\Phi}$ and two definitions of a new intuitionistic connective
%J Matematičeskie zametki
%D 1994
%P 135-142
%V 56
%N 1
%U http://geodesic.mathdoc.fr/item/MZM_1994_56_1_a14/
%G ru
%F MZM_1994_56_1_a14

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

[1] Dragalin A. G., Matematicheskii intuitsionizm. Vvedenie v teoriyu dokazatelstv, Nauka, M., 1979 | Zbl

[2] Smetanich Ya. S., “O polnote ischisleniya vyskazyvanii s dopolnitelnoi operatsiei ot odnoi peremennoi”, Tr. MMO, 9, URSS, M., 1960, 357–351

[3] Gabbay D. M., “On some new intuitionistic propositional connectives, 1”, Studia Logica, 36:1–2 (1977), 127–139 | DOI | MR | Zbl

[4] Shyutte K., “Polnye sistemy modelnoi i intuitsionistskoi logiki”, Feis R., Modalnaya logika, Nauka, M., 1976

[5] Sobolev S. K., “Ob intuitsionistskom ischislenii vyskazyvanii s kvantorami”, Matem. zametki, 22:1 (1977), 69–76 | MR | Zbl