Geodesic
Predicate and set-theoretic calculi based on logic without contractions
Izvestiya. Mathematics , Tome 18 (1982) no. 1, pp. 41-59

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. 
@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},
     publisher = {mathdoc},
     volume = {18},
     number = {1},
     year = {1982},
     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
PB  - mathdoc
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
%I mathdoc
%U http://geodesic.mathdoc.fr/item/IM2_1982_18_1_a2/
%G en
%F IM2_1982_18_1_a2
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/