• A count invariant for Lambek calculus with additives and bracket modalities 

      Valentín Fernández Gallart, José Oriol; Serret, Daniel; Morrill, Glyn (Springer-Verlag Berlin Heidelberg, 2013)
      Text en actes de congrés
      Accés restringit per política de l'editorial
      The count invariance of van Benthem (1991) is that for a sequent to be a theorem of the Lambek calculus, for each atom, the number of positive occurrences equals the number of negative occurrences. (The same is true ...
    • Difference lists and difference bags for logic programming of categorial deduction 

      Llore, F. X.; Morrill, Glyn (1995-01-01)
      Report de recerca
      Accés obert
      We show how difference lists can be used for systematically compiled linear clauses for Lambek categorial grammar and its generalisations, in analogy with standard Horn clauses for CF grammar. We also consider use of ...