Preservation of Admissibility of Inference Rules in the Logics Similar to S4.2 |
| |
Authors: | Rybakov V V Rimatskii V V |
| |
Institution: | (1) Kransnoyarsk State University, Kransnoyarsk |
| |
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. |
| |
Keywords: | |
本文献已被 SpringerLink 等数据库收录! |