Geodesic
An extension of the inverse method to the predicate calculus with equality
Zapiski Nauchnykh Seminarov POMI, Studies in constructive mathematics and mathematical logic. Part IV, Tome 20 (1971), pp. 80-96

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

A modification of the inverse method of establishing deducibility is proposed. The aim of this modification is to improve the processing with equalities. Some strategies are analysed and some possibilities of refinement are investigated. 
@article{ZNSL_1971_20_a8,
     author = {S. Yu. Maslov},
     title = {An extension of the inverse method to the predicate calculus with equality},
     journal = {Zapiski Nauchnykh Seminarov POMI},
     pages = {80--96},
     publisher = {mathdoc},
     volume = {20},
     year = {1971},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/ZNSL_1971_20_a8/}
}
TY  - JOUR
AU  - S. Yu. Maslov
TI  - An extension of the inverse method to the predicate calculus with equality
JO  - Zapiski Nauchnykh Seminarov POMI
PY  - 1971
SP  - 80
EP  - 96
VL  - 20
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/ZNSL_1971_20_a8/
LA  - ru
ID  - ZNSL_1971_20_a8
ER  - 
%0 Journal Article
%A S. Yu. Maslov
%T An extension of the inverse method to the predicate calculus with equality
%J Zapiski Nauchnykh Seminarov POMI
%D 1971
%P 80-96
%V 20
%I mathdoc
%U http://geodesic.mathdoc.fr/item/ZNSL_1971_20_a8/
%G ru
%F ZNSL_1971_20_a8
S. Yu. Maslov. An extension of the inverse method to the predicate calculus with equality. Zapiski Nauchnykh Seminarov POMI, Studies in constructive mathematics and mathematical logic. Part IV, Tome 20 (1971), pp. 80-96. http://geodesic.mathdoc.fr/item/ZNSL_1971_20_a8/