Явный базис допустимых правил вывода табличных модальных логик ширины 2 : научное издание

Описание

Перевод названия: 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

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

Издатель: Общественный фонд "Сибирский фонд алгебры и логики"

Персоны

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