Сибирский федеральный университет

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

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

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

• Римацкий Виталий Валентинович (каф. ВМ., КрасГАСА, г. Красноярск, Россия.)

• Ядро РИНЦ (eLIBRARY.RU)
• Список ВАК