Явный базис для допустимых правил вывода логики Гёделя — Леба $GL$

Получено описание явного базиса допустимых правил вывода для логики Гёделя — Леба. Такой базис состоит из последовательности правил вывода от бесконечного числа переменных. Важную роль в исследовании играют правила вывода в редуцированной форме. Наряду с базисом для допустимых правил получен базис квазитождеств для свободной алгебры счетного ранга логики Гёделя — Леба.