Switch to: Citations

Add references

You must login to add references.
  1. The finite model property for BCK and BCIW.Robert K. Meyer & Hiroakira Ono - 1994 - Studia Logica 53 (1):107 - 118.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   12 citations  
  • The finite model property for BCI and related systems.Wojciech Buszkowski - 1996 - Studia Logica 57 (2-3):303 - 323.
    We prove the finite model property (fmp) for BCI and BCI with additive conjunction, which answers some open questions in Meyer and Ono [11]. We also obtain similar results for some restricted versions of these systems in the style of the Lambek calculus [10, 3]. The key tool is the method of barriers which was earlier introduced by the author to prove fmp for the product-free Lambek calculus [2] and the commutative product-free Lambek calculus [4].
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  • Non‐commutative intuitionistic linear logic.V. Michele Abrusci - 1990 - Mathematical Logic Quarterly 36 (4):297-318.
  • Non-commutative intuitionistic linear logic.V. Michele Abrusci - 1990 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 36 (4):297-318.
    Direct download  
     
    Export citation  
     
    Bookmark   11 citations