首页 | 本学科首页   官方微博 | 高级检索  
     检索      


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 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号