Д. П. Скворцов [D. P. Skvortsov], “Сравнение дедуктивной силы реализуемых пропозициональных формул” [≈ “Comparison of the deductive power of realizable propositional formulas”], Логические исследования 3 (1995) 38–52 https://logicalinvestigations.ru/article/view/44 page 39
1 / 2
Comments
В. Е. Плиско [V. E. Plisko], “Об одной формальной системе, связанной с реализуемостью” [≈ “A certain formal system that is connected with realizability”], Теория алгорифмов и математическая логика (1974) 148–158
— but that's in a book and I don't have it.