Independent bases for rules admissible in pretabular logics

Описание

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

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

Аннотация: This paper studies independence of bases for admissible rules. We consider inference rules of pretabular modal logics over S4 and pretabular superintuitionistic logics. Since Maksimova-Meskhi-Esakia theorem we know there are exactly five pretabular S4-logics and exactly three pretabular superintuitionistic logics (Maksimova). Even Показать полностьюtabular modal logics sometimes do not have independent bases for admissible rules (Theorem 4.5.5). But here we show that all pretabular modal logics and all pretabular superintuitionistic logics have independent bases for admissible inference rules. Key words: Modal logic, Superintuitionistic Logic, Kripke Model, Infernece Rule, Admissible Rule, Independent Rules

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

Издание

Журнал: Interest Group in Pure and Applied Logics. Logic Journal

Выпуск журнала: Т. 7, 2

Номера страниц: 253

ISSN журнала: 13670751

Издатель: Oxford University Press

Авторы

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