14 found
Order:
  1.  4
    The Mathematics of Sentence Structure.Joachim Lambek - 1968 - Journal of Symbolic Logic 33 (4):627-628.
    Direct download  
     
    Export citation  
     
    My bibliography   66 citations  
  2.  23
    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 (8 more)  
     
    Export citation  
     
    My bibliography   4 citations  
  3.  30
    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  
     
    My bibliography  
  4.  20
    Should Pregroup Grammars Be Adorned with Additional Operations?Joachim Lambek - 2007 - Studia Logica 87 (2-3):343-358.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography  
  5.  12
    Exploring Feature Agreement in French with Parallel Pregroup Computations.Joachim Lambek - 2009 - 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 (4 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  6.  34
    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 (6 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  7.  34
    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 (5 more)  
     
    Export citation  
     
    My bibliography  
  8. Bilinear Logic and Grishin Algebras.Joachim Lambek - 1999 - In E. Orłowska (ed.), Logic at Work. Heidelberg. pp. 604--612.
  9.  14
    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 (4 more)  
     
    Export citation  
     
    My bibliography  
  10.  5
    What is a Deductive System?Joachim Lambek - 1994 - In Dov M. Gabbay (ed.), What is a Logical System? Oxford University Press.
  11.  4
    Review: Robert B. Lees, The Grammar of English Nominalizations. [REVIEW]Joachim Lambek - 1962 - Journal of Symbolic Logic 27 (2):212-213.
  12.  1
    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 (2 more)  
     
    Export citation  
     
    My bibliography  
  13. The Heritage of Thales.W. S. Anglin & Joachim Lambek - 1995
    No categories
     
    Export citation  
     
    My bibliography  
  14. 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 (2 more)  
     
    Export citation  
     
    My bibliography