Перевод названия: 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
Место издания: Москва
Издатель: Математический институт им. В.А. Стеклова РАН, Российская академия наук