Помогите понять содержательн смысл управляемых подстановок

[alex_dorin]

Здравствуйте !
В работе ADMISSIBLE SUBSTITUTIONS IN SEQUENT CALCULI
описана модификация разрешающей процедуры С. Кангера для логики первого порядка

http://www.foibg.com/ijita/vol10/ijita10-4-p05.pdf

Пожалуйста, помогите разобраться в содержательном смысле получения управляемых подстановок.

C уважением,
Александр Дорин