Явный базис для допустимых правил $K$-насыщенных табличных логик : научное издание

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

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

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

Ключевые слова: фрейм (модель) Крипке, допустимое правило вывода, базис допустимых правил

Аннотация: В статье получен явный конечный базис для допустимых правил $K$-насыщенных табличных логик, расширяющих логику $Grz$.

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

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

Номера страниц: 126-140

ISSN журнала: 02340860

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

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

Информация о публикациях загружается с сайта службы поддержки публикационной активности СФУ. Сообщите, если заметили неточности.