Switch to: Citations

Add references

You must login to add references.
  1. Completeness Results for Lambek Syntactic Calculus.Wojciech Buszkowski - 1986 - Mathematical Logic Quarterly 32 (1‐5):13-28.
    Download  
     
    Export citation  
     
    Bookmark   27 citations  
  • 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  
  • Completeness Results for Lambek Syntactic Calculus.Wojciech Buszkowski - 1986 - Mathematical Logic Quarterly 32 (1-5):13-28.
    Download  
     
    Export citation  
     
    Bookmark   25 citations  
  • 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  
  • A tale of four grammars.Claudia Casadio & Joachim Lambek - 2002 - Studia Logica 71 (3):315-329.
    In this paper we consider the relations existing between four deductive systems that have been called categorial grammars and have relevant connections with linguistic investigations: the syntactic calculus, bilinear logic, compact bilinear logic and Curry''s semantic calculus.
    Download  
     
    Export citation  
     
    Bookmark   8 citations