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

Описание

Перевод названия: Bases of admissible rules for K-saturated logics

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

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

Ключевые слова: Admissible inference rules, basis for admissible inference rules, table modal logic, Superintuitionistic logic, допустимые правила вывода, базиса для допустимых правил вывода, табличная модальная логика, суперинтуиционистская логика

Аннотация: Изучаются допустимые правила вывода табличных модальных и суперинтуиционистских логик. Семантическим образом определяются K-насыщенные логики. Для таких логик доказывается существование конечного базиса для допустимых правил вывода от конечного числа переменных. Admissible inference rules for table modal and superintuitionistic logПоказать полностьюics are investigated. K-saturated logics are defined semantically. Such logics are proved to have finite bases for admissible inference rules in finitely many variables.

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

Издание

Журнал: Алгебра и логика

Выпуск журнала: Т. 47, 6

Номера страниц: 750-761

ISSN журнала: 03739252

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

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

Авторы

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