Тип публикации: статья из журнала

Год издания: 2007

Идентификатор DOI: 10.1007/s11202-007-0036-y

Ключевые слова: modal logic; inference rule; admissible rule; frame; basis

Аннотация: We describe an explicit basis for the admissible inference rules in the Godel-Lob 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 Godel-Lob logic.

Журнал: SIBERIAN MATHEMATICAL JOURNAL

Выпуск журнала: Vol. 48, Is. 2

Номера страниц: 339-345

ISSN журнала: 00374466

Место издания: NEW YORK

Издатель: CONSULTANTS BUREAU/SPRINGER

• Fedorishin B.R. (Krasnoyarsk State Technical University)

• Web of Science Core Collection
• Scopus
• Ядро РИНЦ (eLIBRARY.RU)
• Список ВАК