Exploració per tema "Linear logic"
Ara es mostren els items 1-2 de 2
-
A count invariant for Lambek calculus with additives and bracket modalities
(Springer-Verlag Berlin Heidelberg, 2013)
Text en actes de congrés
Accés restringit per política de l'editorialThe 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
(1995-01-01)
Report de recerca
Accés obertWe 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 ...