Сибирский федеральный университет

Перевод названия: An explicit basis for admissible inference rules in table modal logics of width 2

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

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

Ключевые слова: Admissible inference rules, modal logic, допустимые правила вывода, модальная логика

Аннотация: Строится явный конечный базис для допустимых правил вывода произвольной модальной логики ширины 2, расширяющей логику Grz. We construct an explicit.nite basis for admissible inference rules in an arbitrary modal logic of width 2 extending the logic Grz.

Журнал: Алгебра и логика

Выпуск журнала: Т. 48, № 1

Номера страниц: 122-148

ISSN журнала: 03739252

Место издания: Новосибирск

Издатель: Общественный фонд "Сибирский фонд алгебры и логики"

• Римацкий Виталий Валентинович (каф. высш. матем., Красн. ин-т архитект. строит., Сиб. Федер. ун-т, г. Красноярск, Россия)

• Ядро РИНЦ (eLIBRARY.RU)
• Список ВАК