A~sequential calculus of the constructive logic for the normal formulae without structural rules of inference
Zapiski Nauchnykh Seminarov POMI, Studies in constructive mathematics and mathematical logic. Part I, Tome 4 (1967), pp. 174-188
Voir la notice de l'article provenant de la source Math-Net.Ru
@article{ZNSL_1967_4_a17,
author = {R. A. Plyushkevitchus},
title = {A~sequential calculus of the constructive logic for the normal formulae without structural rules of inference},
journal = {Zapiski Nauchnykh Seminarov POMI},
pages = {174--188},
publisher = {mathdoc},
volume = {4},
year = {1967},
language = {ru},
url = {http://geodesic.mathdoc.fr/item/ZNSL_1967_4_a17/}
}
TY - JOUR AU - R. A. Plyushkevitchus TI - A~sequential calculus of the constructive logic for the normal formulae without structural rules of inference JO - Zapiski Nauchnykh Seminarov POMI PY - 1967 SP - 174 EP - 188 VL - 4 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/ZNSL_1967_4_a17/ LA - ru ID - ZNSL_1967_4_a17 ER -
%0 Journal Article %A R. A. Plyushkevitchus %T A~sequential calculus of the constructive logic for the normal formulae without structural rules of inference %J Zapiski Nauchnykh Seminarov POMI %D 1967 %P 174-188 %V 4 %I mathdoc %U http://geodesic.mathdoc.fr/item/ZNSL_1967_4_a17/ %G ru %F ZNSL_1967_4_a17
R. A. Plyushkevitchus. A~sequential calculus of the constructive logic for the normal formulae without structural rules of inference. Zapiski Nauchnykh Seminarov POMI, Studies in constructive mathematics and mathematical logic. Part I, Tome 4 (1967), pp. 174-188. http://geodesic.mathdoc.fr/item/ZNSL_1967_4_a17/