On the extension of the intuitionist propositional calculus to the classical calculus, and the minimal calculus to the intuitionist calculus
Izvestiya. Mathematics , Tome 2 (1968) no. 1, pp. 205-208
Voir la notice de l'article provenant de la source Math-Net.Ru
We consider extensions of the intuitionist and minimal propositional calculi effected by the addition of a single formula as a new axiom.
@article{IM2_1968_2_1_a8,
author = {V. A. Yankov},
title = {On the extension of the intuitionist propositional calculus to the classical calculus, and the minimal calculus to the intuitionist calculus},
journal = {Izvestiya. Mathematics },
pages = {205--208},
publisher = {mathdoc},
volume = {2},
number = {1},
year = {1968},
language = {en},
url = {http://geodesic.mathdoc.fr/item/IM2_1968_2_1_a8/}
}
TY - JOUR AU - V. A. Yankov TI - On the extension of the intuitionist propositional calculus to the classical calculus, and the minimal calculus to the intuitionist calculus JO - Izvestiya. Mathematics PY - 1968 SP - 205 EP - 208 VL - 2 IS - 1 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/IM2_1968_2_1_a8/ LA - en ID - IM2_1968_2_1_a8 ER -
%0 Journal Article %A V. A. Yankov %T On the extension of the intuitionist propositional calculus to the classical calculus, and the minimal calculus to the intuitionist calculus %J Izvestiya. Mathematics %D 1968 %P 205-208 %V 2 %N 1 %I mathdoc %U http://geodesic.mathdoc.fr/item/IM2_1968_2_1_a8/ %G en %F IM2_1968_2_1_a8
V. A. Yankov. On the extension of the intuitionist propositional calculus to the classical calculus, and the minimal calculus to the intuitionist calculus. Izvestiya. Mathematics , Tome 2 (1968) no. 1, pp. 205-208. http://geodesic.mathdoc.fr/item/IM2_1968_2_1_a8/