Geodesic
On the weight of the comprehension axiom in a~theory based on logic without contractions
Matematičeskie zametki, Tome 66 (1999) no. 5, pp. 643-652.

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

@article{MZM_1999_66_5_a0,
     author = {V. N. Grishin},
     title = {On the weight of the comprehension axiom in a~theory based on logic without contractions},
     journal = {Matemati\v{c}eskie zametki},
     pages = {643--652},
     publisher = {mathdoc},
     volume = {66},
     number = {5},
     year = {1999},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/MZM_1999_66_5_a0/}
}
TY  - JOUR
AU  - V. N. Grishin
TI  - On the weight of the comprehension axiom in a~theory based on logic without contractions
JO  - Matematičeskie zametki
PY  - 1999
SP  - 643
EP  - 652
VL  - 66
IS  - 5
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/MZM_1999_66_5_a0/
LA  - ru
ID  - MZM_1999_66_5_a0
ER  - 
%0 Journal Article
%A V. N. Grishin
%T On the weight of the comprehension axiom in a~theory based on logic without contractions
%J Matematičeskie zametki
%D 1999
%P 643-652
%V 66
%N 5
%I mathdoc
%U http://geodesic.mathdoc.fr/item/MZM_1999_66_5_a0/
%G ru
%F MZM_1999_66_5_a0
V. N. Grishin. On the weight of the comprehension axiom in a~theory based on logic without contractions. Matematičeskie zametki, Tome 66 (1999) no. 5, pp. 643-652. http://geodesic.mathdoc.fr/item/MZM_1999_66_5_a0/

[1] Gentsen G., “Issledovaniya logicheskikh vyvodov”, Matematicheskaya teoriya logicheskogo vyvoda, Nauka, M., 1967, 9–74

[2] Takahashi M., “A system of simple type theory of Gentzen style with inference on extensionality, and cut-elimination in it”, Comment. Math. Univ. St. Pauli, 18 (1970), 127–147

[3] Grishin V. N., “Predikatnye i teoretiko mnozhestvennye ischisleniya, osnovannye na logike bez sokraschenii”, Izv. AN SSSR. Ser. matem., 45:1 (1981), 47–68 | MR | Zbl

[4] Girard J.-Y., “Linear logic”, J. Theoretical Computer Science, 50 (1987), 1–102 | DOI | MR | Zbl