Preservation of Admissibility of Inference Rules in the Logics Similar to S4.2 : научное издание

Описание

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

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

Аннотация: We show that an arbitrary finitely approximable logic extending S4.2(Grz.2,KC) preserves all admissible inference rules of the logic S4.2(Grz.2,KC) 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

Авторы

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