Switch to: Citations

Add references

You must login to add references.
  1. (1 other version)Some Decision Problems in the Theory of Syntactic Categories.Wojciech Buszkowski - 1982 - Mathematical Logic Quarterly 28 (33‐38):539-548.
    Download  
     
    Export citation  
     
    Bookmark   18 citations  
  • (1 other version)Completeness Results for Lambek Syntactic Calculus.Wojciech Buszkowski - 1986 - Mathematical Logic Quarterly 32 (1‐5):13-28.
    Download  
     
    Export citation  
     
    Bookmark   27 citations  
  • Quantales and (noncommutative) linear logic.David N. Yetter - 1990 - Journal of Symbolic Logic 55 (1):41-64.
    Download  
     
    Export citation  
     
    Bookmark   51 citations  
  • The finite model property for BCK and BCIW.Robert K. Meyer & Hiroakira Ono - 1994 - Studia Logica 53 (1):107 - 118.
    Download  
     
    Export citation  
     
    Bookmark   12 citations  
  • (1 other version)Completeness Results for Lambek Syntactic Calculus.Wojciech Buszkowski - 1986 - Mathematical Logic Quarterly 32 (1-5):13-28.
    Download  
     
    Export citation  
     
    Bookmark   25 citations  
  • (1 other version)Some Decision Problems in the Theory of Syntactic Categories.Wojciech Buszkowski - 1982 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 28 (33-38):539-548.
    Download  
     
    Export citation  
     
    Bookmark   17 citations  
  • (1 other version)The finite model property for various fragments of linear logic.Yves Lafont - 1997 - Journal of Symbolic Logic 62 (4):1202-1208.
    Download  
     
    Export citation  
     
    Bookmark   9 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].
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  • (1 other version)Phase semantics and sequent calculus for pure noncommutative classical linear propositional logic.V. Michele Abrusci - 1991 - Journal of Symbolic Logic 56 (4):1403-1451.
    Download  
     
    Export citation  
     
    Bookmark   25 citations