Явный базис допустимых правил вывода модальных логик, расширяющих S4.1, Grz : научное издание

Описание

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

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

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

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

Ссылки на полный текст

Издание

Журнал: Сибирский математический журнал

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

Номера страниц: 872-882

ISSN журнала: 00374474

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

Издатель: Федеральное государственное бюджетное учреждение науки Институт математики им. С.Л. Соболева Сибирского отделения Российской академии наук

Вхождение в базы данных