On self-admissible quasicharacterizing inference rules


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

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


  • Rybakov V.V. (Department of Mathematics,Krasnoyarsk University)
  • Terziler M. (Department of Mathematics Science,Faculty Ege University)
  • Gencer C. (Department of Mathematics Science,Faculty Ege University)

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