Order:
  1.  21
    Full Lambek calculus with contraction is undecidable.Karel Chvalovský & Rostislav Horčík - 2016 - Journal of Symbolic Logic 81 (2):524-540.
  2.  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  
  3.  15
    Undecidability of consequence relation in full non-associative Lambek calculus.Karel Chvalovský - 2015 - Journal of Symbolic Logic 80 (2):567-586.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark