В. В. Римацкий, В. Р. Кияткин, “Независимый базис допустимых правил вывода предтабличных логик и их расширений”, Сиб. электрон. матем. изв., 2013, том 10,страницы 79

Эта публикация цитируется в 5 статьях

Математическая логика, алгебра и теория чисел

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

В. В. Римацкий, В. Р. Кияткин

Сибирский Федеральный Университет, Институт математики, пр. Свободный 79, 660041, Красноярск, Россия

Аннотация: We obtain independent bases for admissible inference rules of pretabular modal logics PT2, PT3 and all its extensions. Also we describe such bases for global admissible rules of logics PT2, PT3.

Ключевые слова: (pretabular) modal logic, frame (model) Kripke, admissible inference rule, basуs for admissible rules.

УДК: 510.643

MSC: 03F25

Поступила 22 сентября 2012 г., опубликована 8 февраля 2013 г.