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
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/MZM_1994_56_1_a14/
LA  - ru
ID  - MZM_1994_56_1_a14
ER  -