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. <i>Key words</i>: 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

Авторы

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

Информация о публикациях загружается с сайта службы поддержки публикационной активности СФУ. Сообщите, если заметили неточности.

Вы можете отметить интересные фрагменты текста, которые будут доступны по уникальной ссылке в адресной строке браузера.