Перевод названия: An explicit basis for admissible inference rules in table modal logics of width 2
Тип публикации: статья из журнала
Год издания: 2009
Ключевые слова: Admissible inference rules, modal logic, допустимые правила вывода, модальная логика
Аннотация: Строится явный конечный базис для допустимых правил вывода произвольной модальной логики ширины 2, расширяющей логику Grz. We construct an explicit.nite basis for admissible inference rules in an arbitrary modal logic of width 2 extending the logic Grz.
Журнал: Алгебра и логика
Выпуск журнала: Т. 48, № 1
Номера страниц: 122-148
ISSN журнала: 03739252
Место издания: Новосибирск
Издатель: Общественный фонд "Сибирский фонд алгебры и логики"