Preservation of Admissibility of Inference Rules in the Logics Similar to S4.2

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

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

Аннотация: We show that an arbitrary finitely approximable logic extending <i>S</i>4.2(<i>Grz.2</i>,<i>KC</i>) preserves all admissible inference rules of the logic <i>S</i>4.2(<i>Grz.2</i>,<i>KC</i>) if and only if this logic possesses the so-called semantic cocovering property.

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

Издание

Журнал: Siberian Mathematical Journal

Выпуск журнала: Т.43, 2

Номера страниц: 357-362

ISSN журнала: 00374466

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

Издатель: Springer-Verlag GmbH

Авторы

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

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

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