Кангеровский вариант исчисления предикатов с символами для не всюду определенных функций Р.А. Плюшкевичус — 1968 Zapiski naucnych seminarov Leningradskogo
Секвенциальный вариант исчисления конструктивной логики для нормальных формул без структурных правил вывода Р.А. Плюшкевичус — 1967 Zapiski naucnych seminarov Leningradskogo