Usually only rules that are recursive are important; i.e. rules such that there is an effective procedure for determining whether any given formula is the conclusion of a given set of formulae according to the rule.
Зазвичай важливими є лише рекурсивні правила, тобто такі, що існує ефективна процедура визначення, чи є будь-яка задана формула висновком заданої множини формул відповідно до цього правила.