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

Перевод названия: On construction of an explicit basis for admissible inference rules of modal logics extending <nobr>$S4.1$</nobr>

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

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

Идентификатор DOI: 10.4213/dm1161

Аннотация: В статье исследуются базисы для допустимых правил вывода модальных логик. Известно, что большинство базовых нестандартных логик не имеют конечного базиса для допустимых правил. В представленной работе описывается явный базис для допустимых правил логик <nobr>$S4.1$</nobr>, <nobr>$Grz$</nobr> и их расширений, число которых по крайней мере счетно. <br>Полученный базис состоит из бесконечной последовательности правил, которые имеют компактную и простую форму. В случае конечности ширины логики базис для допустимых правил также состоит из конечной последовательности правил.

Журнал: Дискретная математика

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

Номера страниц: 48-65

ISSN журнала: 02340860

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

Издатель: Математический институт им. В.А. Стеклова РАН, Российская академия наук

• Римацкий Виталий Валентинович

• Ядро РИНЦ (eLIBRARY.RU)