В. В. Римацкий, “Явный базис допустимых правил вывода табличных модальных логик ширины 2”, Алгебра и логика, 2009, том 48, номер 1,страницы 122

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

В. В. Римацкий

Каф. высш. матем., Красн. ин-т архитект. строит., Сиб. Федер. ун-т, г. Красноярск, Россия

Аннотация: Строится явный конечный базис для допустимых правил вывода произвольной модальной логики ширины 2, расширяющей логику $Grz$.

Ключевые слова: допустимые правила вывода, модальная логика.

УДК: 510.65

Поступило: 10.05.2007