Geodesic
On a~specialization of processing of axions in proof procedures for axiomatic theories with equality
Zapiski Nauchnykh Seminarov POMI, Studies in constructive mathematics and mathematical logic. Part IV, Tome 20 (1971), pp. 175-185

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

While searching (from the bottom to the top) for sequenzenproof in calculi without structural rules one has, to introduce subformulas of axioms (thistrick allows to avoid explicit introduction of the cut-rule). In this paper there are investigated some possibilities of minimization of number and the scope of applications of this trick in axiomatic theories with equality. 
@article{ZNSL_1971_20_a16,
     author = {A. Y. Plushkevichene},
     title = {On a~specialization of processing of axions in proof procedures for axiomatic theories with equality},
     journal = {Zapiski Nauchnykh Seminarov POMI},
     pages = {175--185},
     publisher = {mathdoc},
     volume = {20},
     year = {1971},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/ZNSL_1971_20_a16/}
}
TY  - JOUR
AU  - A. Y. Plushkevichene
TI  - On a~specialization of processing of axions in proof procedures for axiomatic theories with equality
JO  - Zapiski Nauchnykh Seminarov POMI
PY  - 1971
SP  - 175
EP  - 185
VL  - 20
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/ZNSL_1971_20_a16/
LA  - ru
ID  - ZNSL_1971_20_a16
ER  - 
%0 Journal Article
%A A. Y. Plushkevichene
%T On a~specialization of processing of axions in proof procedures for axiomatic theories with equality
%J Zapiski Nauchnykh Seminarov POMI
%D 1971
%P 175-185
%V 20
%I mathdoc
%U http://geodesic.mathdoc.fr/item/ZNSL_1971_20_a16/
%G ru
%F ZNSL_1971_20_a16
A. Y. Plushkevichene. On a~specialization of processing of axions in proof procedures for axiomatic theories with equality. Zapiski Nauchnykh Seminarov POMI, Studies in constructive mathematics and mathematical logic. Part IV, Tome 20 (1971), pp. 175-185. http://geodesic.mathdoc.fr/item/ZNSL_1971_20_a16/