Results for 'Rule of contraction msc (2010) 03B22'

Order:
  1.  34
    Note on Deduction Theorems in contraction‐free logics.Karel Chvalovský & Petr Cintula - 2012 - Mathematical Logic Quarterly 58 (3):236-243.
    This paper provides a finer analysis of the well-known form of the Local Deduction Theorem in contraction-free logics . An infinite hierarchy of its natural strengthenings is introduced and studied. The main results are the separation of its initial four members and the subsequent collapse of the hierarchy.
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations