1. Yu. Sh. Gurevich, “The problem of reduction for the logic of predicates and operations,” Algebra Logika,8, No. 3, 284–308 (1969).
2. S. Yu. Maslov, “Deductive systems with refinements,” Proc. All-Union Symp. Theory of Logical Deductions [in Russian], 1974, Moscow (in press).
3. S. Yu. Maslov, “Mutation calculi,” Zap. Nauchn. Sem. Leningr. Otd. Mat. Inst. Akad. Nauk SSSR,49, 7–30 (1975).
4. H. B. Curry, “Calculuses and formal systems,” Dialectica,12, No. 3–4, 249–273 (1958).
5. J. R. Büchi, “Regular canonical systems,” Arch. Math. Log. Grundlagenforsch.,6, No. 3–4, 91–111 (1964).