Plyushkevitchus R A

Publications in Math-Net.Ru

1. A sequential version of the calculus of constructive logic for normal formulae which contain no structural laws
   
   Trudy Mat. Inst. Steklov., 98 (1968),  155–202
2. Kanger's variant of predicate calculus with not totally defined functions
   
   Zap. Nauchn. Sem. LOMI, 8 (1968),  211–224
3. A sequential calculus of the constructive logic for the normal formulae without structural rules of inference
   
   Zap. Nauchn. Sem. LOMI, 4 (1967),  174–188