Terms for subject Logic containing rules of inference

English	Russian
rule of inference	правило умозаключения
rule of inference	правило вывода
set of inference rules	формальная система (Alex_Odeychuk)