|
СИБИРСКИЙ МАТЕМАТИЧЕСКИЙ ЖУРНАЛ
АННОТАЦИИ
Федоришин Б. Р. Явный базис для допустимых правил вывода логики Гëделя Леба $GL$ //
Том 48 (2007), Номер 2,
стр. 423430
Получено описание явного базиса допустимых правил вывода для логики Г\"еделя~--- Леба. Такой базис состоит из последовательности правил вывода от бесконечного числа переменных. Важную роль в исследовании играют правила вывода в редуцированной форме. Наряду с базисом для допустимых правил получен базис квазитождеств для свободной алгебры счетного ранга логики Г\"еделя~--- Леба.
|
|
© Сибирский Математический Журнал, 2003-2006
|
|