This article is cited in 2 papers

Preservation of admissibility of inference rules in the logics similar to $S4.2$

V. V. Rybakov, V. V. Rimatskii

Krasnoyarsk State University

Abstract: 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.

UDC: 517.11

Received: 30.06.1998
Revised: 14.04.1999

 English version: Siberian Mathematical Journal, 2002, 43:2, 357–362

Bibliographic databases:

• 
• 
•