Geodesic
An extention of the inverse method to axiomatic theories with equality
Zapiski Nauchnykh Seminarov POMI, Studies in constructive mathematics and mathematical logic. Part V, Tome 32 (1972), pp. 108-115

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

The inverse method [I] for predicate calculus with equality is generalized, to axiomatic theories. A proof strategy is proposed for axiomatic theories with the sign of equality as the only predicate letter. 
@article{ZNSL_1972_32_a15,
     author = {A. Y. Plushkevichene},
     title = {An extention of the inverse method to axiomatic theories with equality},
     journal = {Zapiski Nauchnykh Seminarov POMI},
     pages = {108--115},
     publisher = {mathdoc},
     volume = {32},
     year = {1972},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/ZNSL_1972_32_a15/}
}
TY  - JOUR
AU  - A. Y. Plushkevichene
TI  - An extention of the inverse method to axiomatic theories with equality
JO  - Zapiski Nauchnykh Seminarov POMI
PY  - 1972
SP  - 108
EP  - 115
VL  - 32
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/ZNSL_1972_32_a15/
LA  - ru
ID  - ZNSL_1972_32_a15
ER  - 
%0 Journal Article
%A A. Y. Plushkevichene
%T An extention of the inverse method to axiomatic theories with equality
%J Zapiski Nauchnykh Seminarov POMI
%D 1972
%P 108-115
%V 32
%I mathdoc
%U http://geodesic.mathdoc.fr/item/ZNSL_1972_32_a15/
%G ru
%F ZNSL_1972_32_a15
A. Y. Plushkevichene. An extention of the inverse method to axiomatic theories with equality. Zapiski Nauchnykh Seminarov POMI, Studies in constructive mathematics and mathematical logic. Part V, Tome 32 (1972), pp. 108-115. http://geodesic.mathdoc.fr/item/ZNSL_1972_32_a15/