14 found
Order:
  1.  19
    The Mathematics of Sentence Structure.Joachim Lambek - 1968 - Journal of Symbolic Logic 33 (4):627-628.
    Direct download  
     
    Export citation  
     
    Bookmark   103 citations  
  2.  30
    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.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  3.  22
    Exploring Feature Agreement in French with Parallel Pregroup Computations.Joachim Lambek - 2010 - Journal of Logic, Language and Information 19 (1):75-88.
    One way of coping with agreement of features in French is to perform two parallel computations, one in the free pregroup of syntactic types, the other in that of feature types. Technically speaking, this amounts to working in the direct product of two free pregroups.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  4.  22
    Should Pregroup Grammars Be Adorned with Additional Operations?Joachim Lambek - 2007 - Studia Logica 87 (2-3):343-358.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  5.  63
    Philosophical Reflections on the Foundations of Mathematics.Jocelyne Couture & Joachim Lambek - 1991 - Erkenntnis 34 (2):187 - 209.
    This article was written jointly by a philosopher and a mathematician. It has two aims: to acquaint mathematicians with some of the philosophical questions at the foundations of their subject and to familiarize philosophers with some of the answers to these questions which have recently been obtained by mathematicians. In particular, we argue that, if these recent findings are borne in mind, four different basic philosophical positions, logicism, formalism, platonism and intuitionism, if stated with some moderation, are in fact reconcilable, (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  6. The Heritage of Thales.W. S. Anglin & Joachim Lambek - 1995
    No categories
     
    Export citation  
     
    Bookmark   2 citations  
  7.  34
    An Exactification of the Monoid of Primitive Recursive Functions.Joachim Lambek & Philip Scott - 2005 - Studia Logica 81 (1):1-18.
    We study the monoid of primitive recursive functions and investigate a onestep construction of a kind of exact completion, which resembles that of the familiar category of modest sets, except that the partial equivalence relations which serve as objects are recursively enumerable. As usual, these constructions involve the splitting of symmetric idempotents.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  8.  21
    What is a Deductive System?Joachim Lambek - 1994 - In Dov M. Gabbay (ed.), What is a Logical System? Oxford University Press.
  9.  42
    Logic and Grammar.Joachim Lambek - 2012 - Studia Logica 100 (4):667-681.
    Grammar can be formulated as a kind of substructural propositional logic. In support of this claim, we survey bare Gentzen style deductive systems and two kinds of non-commutative linear logic: intuitionistic and compact bilinear logic. We also glance at their categorical refinements.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  10. Bilinear Logic and Grishin Algebras.Joachim Lambek - 1999 - In E. Orłowska (ed.), Logic at Work. Heidelberg. pp. 604--612.
  11.  8
    An Informal Arithmetical Approach to Computability and Computation.How to Program an Infinite Abacus.Ann M. Singleterry, Z. A. Melzak & Joachim Lambek - 1966 - Journal of Symbolic Logic 31 (3):514.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  12.  17
    Should Pregroup Grammars Be Adorned with Additional Operations? To Michael Moortgat on His First Half Century.Joachim Lambek - 2007 - Studia Logica 87 (2-3):343 - 358.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  13.  11
    Review: Robert B. Lees, The Grammar of English Nominalizations. [REVIEW]Joachim Lambek - 1962 - Journal of Symbolic Logic 27 (2):212-213.
  14.  5
    Reviews. Robert B. Lees. The Grammar of English Nominalizations. Publication Twelve of the Indiana University Research Center in Anthropology, Folklore, and Linguistics; Also Part II of the International Journal of American Linguistics, Vol. 26 No. 3 , Xxvi + 205 Pp. [REVIEW]Joachim Lambek - 1962 - Journal of Symbolic Logic 27 (2):212-213.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark