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

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

Fedorishin B. R.
An explicit basis for the admissible inference rules in the Gödel-Lob logic GL

We describe an explicit basis for the admissible inference rules in the Gödel-Löb logic. The basis consists of a sequence of inference rules in infinitely many variables. Inference rules in the reduced form play an important role in this study. Alongside a basis for the admissible rules we obtain a basis for the quasi-identities of the countable rank free algebra in the Gödel-Löb logic.

Полный текст статьи / Full texts:

• PDF file (390 KB)
• PostScript file (765 KB)