Geodesic
Predicate and set-theoretic calculi based on logic without contractions
Izvestiya. Mathematics, Tome 18 (1982) no. 1, pp. 41-59 
V. N. Grishin. Predicate and set-theoretic calculi based on logic without contractions. Izvestiya. Mathematics, Tome 18 (1982) no. 1, pp. 41-59. http://geodesic.mathdoc.fr/item/IM2_1982_18_1_a2/
@article{IM2_1982_18_1_a2,
     author = {V. N. Grishin},
     title = {Predicate and set-theoretic calculi based on logic without contractions},
     journal = {Izvestiya. Mathematics},
     pages = {41--59},
     year = {1982},
     volume = {18},
     number = {1},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/IM2_1982_18_1_a2/}
}
TY  - JOUR
AU  - V. N. Grishin
TI  - Predicate and set-theoretic calculi based on logic without contractions
JO  - Izvestiya. Mathematics
PY  - 1982
SP  - 41
EP  - 59
VL  - 18
IS  - 1
UR  - http://geodesic.mathdoc.fr/item/IM2_1982_18_1_a2/
LA  - en
ID  - IM2_1982_18_1_a2
ER  - 
%0 Journal Article
%A V. N. Grishin
%T Predicate and set-theoretic calculi based on logic without contractions
%J Izvestiya. Mathematics
%D 1982
%P 41-59
%V 18
%N 1
%U http://geodesic.mathdoc.fr/item/IM2_1982_18_1_a2/
%G en
%F IM2_1982_18_1_a2

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

In this paper the author studies the effect of eliminating the contraction rules from the Gentzen predicate calculus, and also from set-theoretic systems based on this calculus. It turns out that the predicate calculus without contraction rules is complete relative to finite models, and eliminating contraction rules from set-theoretic systems does not change the number of derivable formulas as long as the systems contain certain natural axioms. Bibliography: 4 titles.

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

[2] Grishin V. N., “Ob odnoi nestandartnoi logike i ee primenenii k teorii mnozhestv”, Issledovaniya po formalizovannym yazykam i neklassicheskim logikam, Nauka, M., 1974, 135–171 | MR

[3] Grishin V. N., “Ob algebraicheskoi semantike logiki bez sokraschenii”, Issledovaniya po teorii mnozhestv i neklassicheskim logikam, Nauka, M., 1976, 247–264 | MR

[4] Mints G. E., “Gentsena formalnaya sistema”, Matematicheskaya Entsiklopediya, t. I, Sovetskaya Entsiklopediya, M., 1977, 919–921