Plushkevichene A Yo

Publications in Math-Net.Ru

1. 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
2. An extention of the inverse method to axiomatic theories with equality
   
   Zap. Nauchn. Sem. LOMI, 32 (1972),  108–115
3. On elimination of cut-type rules from Robinson and Presburger axiomatic systems
   
   Zap. Nauchn. Sem. LOMI, 20 (1971),  186–199
4. On a specialization of processing of axions in proof procedures for axiomatic theories with equality
   
   Zap. Nauchn. Sem. LOMI, 20 (1971),  175–185
5. Elimination of cut-type rules in axiomatic systems with equality
   
   Zap. Nauchn. Sem. LOMI, 16 (1969),  175–184