Журнал СФУ. Математика и физика: Явный базис допустимых правил вывода логик конечной ширины | Журнал Сибирского федерального университета

Журнал СФУ. Математика и физика / Явный базис допустимых правил вывода логик конечной ширины

Номер: Журнал СФУ. Математика и физика. 2008 1 (1)
Авторы: Римацкий, Виталий В.
Контактная информация: Институт архитектуры и строительства, Сибирский федеральный университет, пр. Свободный 82, Красноярск, 660041, Россия, e-mail:
Ключевые слова: модальная логика; фрейм и модель Крипке; допустимое правило вывода; базис допустимых правил; modal logic; inference rule; Kripke frame and model; admissible rule; basis of admissible rules
Аннотация: В статье описывается явный конечный базис для допустимых правил вывода модальных логик конечной ширины, расширяющих логику S4. Полученный базис состоит из последовательности правил, которые имеют компактную и легко обозримую форму.
Страницы: 85-93
Статья в архиве электронных ресурсов СФУ: https://elib.sfu-kras.ru/handle/2311/614