Перевод названия: 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
Место издания: Новосибирск
Издатель: Общественный фонд "Сибирский фонд алгебры и логики"