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 Cet article a éte moissonné depuis la source Math-Net.Ru

Voir la notice du chapitre de livre

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},
     year = {1972},
     volume = {32},
     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
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
%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/