Тип публикации: статья из журнала
Год издания: 2000
Ключевые слова: Admissible rules, Axiomatic system, Inference rule, Modal logic, Superintuitionistic logic
Аннотация: We study* quasi-characterizing inference rules (this notion was introduced into consideration by A. Citkin (1977). The main result of our paper is a complete description of all self-admissible quasi-characterizing inference rules. It is shown that a quasi-characterizing rule is self-admissible iff the frame of the algebra generatinПоказать полностьюg this rule is not rigid. We also prove that self-admissible rules are always admissible in canonical, in a sense, logics S4 or IPC regarding the type of algebra generating rules. © 2000 Kluwer Academic Publishers.
Журнал: Studia Logica
Выпуск журнала: Vol. 65, Is. 3
Номера страниц: 417-428