科研之友
微信
新浪微博
Facebook
分享链接
摘要
Abstract(#br)This paper provides a finer analysis of the well‐known form of the Local Deduction Theorem in contraction‐free logics (understood as Tarski‐style finitary structural consequence relations). An infinite hierarchy of its natural strengthenings is introduced and studied. The main results a...
