Residual Finiteness for Admissible Inference Rules

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

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

Аннотация: We look into methods which make it possible to determine whether or not the modal logics under examination are residually finite w.r.t. admissible inference rules. A general condition is specified which states that modal logics over <math>K4</math> are not residually finite w.r.t. admissibility. It is shown that all modal logics <math>\lambda</math> over <math>K4</math> of width strictly more than 2 which have the co-covering property fail to be residually finite w.r.t. admissible inference rules; in particular, such are <math>K4</math>, <math>GL</math>, <math>K4.1</math>, <math>K4.2</math>, <math>S4.1</math>, <math>S4.2</math>, and <math>GL.2</math>. It is proved that all logics <math>\lambda</math> over <math>S4</math> of width at most 2, which are not sublogics of three special table logics, possess the property of being residually finite w.r.t. admissibility. A number of open questions are set up.

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

Издание

Журнал: Algebra and Logic

Выпуск журнала: Т.40, 5

Номера страниц: 334-347

ISSN журнала: 00025232

Место издания: Новосибирск

Издатель: Springer New York Consultants Bureau

Авторы

  • Rybakov V.V. (Krasnoyarsk State University, Svobodnyi Prospekt 79, Krasnoyarsk 660049)
  • Kiyatkin V.R. (Krasnoyarsk State University, Svobodnyi Prospekt 79, Krasnoyarsk 660049)
  • Oner T. (Ege University, Bornova-Izmir, 35100 Turkey)

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

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

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