Publications in Math-Net.Ru
-
A sequential variant of the arithmetical system of R. Robinson that does not contain cut type rules
Trudy Mat. Inst. Steklov., 121 (1972), 109–135
-
An extention of the inverse method to axiomatic theories with equality
Zap. Nauchn. Sem. LOMI, 32 (1972), 108–115
-
On elimination of cut-type rules from Robinson and Presburger axiomatic systems
Zap. Nauchn. Sem. LOMI, 20 (1971), 186–199
-
On a specialization of processing of axions in proof procedures for axiomatic theories with equality
Zap. Nauchn. Sem. LOMI, 20 (1971), 175–185
-
Elimination of cut-type rules in axiomatic systems with equality
Zap. Nauchn. Sem. LOMI, 16 (1969), 175–184
© , 2025