Order:
  1.  33
    Product-Free Lambek Calculus and Context-Free Grammars.Mati Pentus - 1997 - Journal of Symbolic Logic 62 (2):648-660.
    In this paper we prove the Chomsky Conjecture (all languages recognized by the Lambek calculus are context-free) for both the full Lambek calculus and its product-free fragment. For the latter case we present a construction of context-free grammars involving only product-free types.
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  2.  12
    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   5 citations  
  3.  22
    The Conjoinability Relation in Lambek Calculus and Linear Logic.Mati Pentus - 1994 - Journal of Logic, Language and Information 3 (2):121-140.
    In 1958 J. Lambek introduced a calculusL of syntactic types and defined an equivalence relation on types: x y means that there exists a sequence x=x1,...,xn=y (n 1), such thatx i x i+1 or xi+ x i (1 i n). He pointed out thatx y if and only if there is joinz such thatx z andy z. This paper gives an effective characterization of this equivalence for the Lambeck calculiL andLP, and for the multiplicative fragments of Girard's and Yetter's linear (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  4.  5
    Formal and Informal Semantics of Telicity.Elena Paducheva & Mati Pentus - 2008 - In Susan Rothstein (ed.), Theoretical and Crosslinguistic Approaches to the Semantics of Aspect. John Benjamins. pp. 191--216.
    Direct download  
     
    Export citation  
     
    Bookmark  
  5.  11
    Carpenter Bob. Type-Logical Semantics. Language, Speech, and Communication Series. Bradford Books. The MIT Press, Cambridge, Mass., and London, 1997, Xxi + 575 Pp. [REVIEW]Mati Pentus - 1999 - Journal of Symbolic Logic 64 (4):1835-1836.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  6.  5
    Review: Bob Carpenter, Type-Logical Semantics. [REVIEW]Mati Pentus - 1999 - Journal of Symbolic Logic 64 (4):1835-1836.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark