Cупер редукция в логическом выводе

[alex_dorin]

Здравствуйте !
Интересует супер редукция в логическом выводе
http://arxiv.org/abs/1501.01170
Пожалуйста, гуру, разъясните "на пальцах"

[AGu]

Не будучи гуру, могу сказать лишь одно: там не «супер редукция», там «супер-дедукция».
(Термин звучит так претенциозно, что невольно начинаешь подозревать неладное.
Надеюсь, там действительно какая-то революция свершилась.)