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

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

Год издания: 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

• Rybakov V
• Kiyatkin V
• Terziler M

• Ядро РИНЦ (eLIBRARY.RU)