Switch to: References

Add citations

You must login to add citations.
  1. Models for the Lambek calculus.Mati Pentus - 1995 - Annals of Pure and Applied Logic 75 (1-2):179-213.
    We prove that the Lambek calculus is complete w.r.t. L-models, i.e., free semigroup models. We also prove the completeness w.r.t. relativized relational models over the natural linear order of integers.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  • A Labelled Deductive System for Relational Semantics of the Lambek Calculus.Miroslawa Kolowska-Gawiejnowicz - 1999 - Mathematical Logic Quarterly 45 (1):51-58.
    We present a labelled version of Lambek Calculus without unit, and we use it to prove a completeness theorem for Lambek Calculus with respect to some relational semantics.
    Direct download  
     
    Export citation  
     
    Bookmark  
    		•