Preservation of Admissibility of Inference Rules in the Logics Similar to S4.2 : научное издание
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.