Тип публикации: статья из журнала
Год издания: 2022
Идентификатор DOI: 10.4213/dm1677
Ключевые слова: фрейм (модель) Крипке, допустимое правило вывода, базис допустимых правил
Аннотация: В статье получен явный конечный базис для допустимых правил $K$-насыщенных табличных логик, расширяющих логику $Grz$.
Журнал: Дискретная математика
Выпуск журнала: Т. 34, № 1
Номера страниц: 126-140
ISSN журнала: 02340860
Место издания: Москва
Издатель: Математический институт им. В.А. Стеклова РАН, Российская академия наук