Рыбаков В. В., Римацкий В. В.
Сохранение допустимости правил вывода в логиках, родственных S4.2

Показано, что любая финитно аппроксимируемая логика, расширяющая S4.2 (Grz.2, KC), сохраняет все допустимые правила вывода логики S4.2 (Grz.2, KC соответственно) тогда и только тогда, когда данная логика имеет так называемое семантическое свойство конакрытий.

Rybakov V. V., Rimatskii V. V.
Preservation of admissibility of inference rules in the logics similar to S4.2

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.

Полный текст статьи / Full texts:

• PDF file (355 KB)
• PostScript file (693 KB)