33 search results - page 4 / 7 » Discontinuity And The Lambek Calculus |
CORR
2011
Springer
13 years 4 months ago
2011
Springer
Grishin ([10]) proposed enriching the Lambek calculus with multiplicative disjunction (par) and coresiduals. Applications to linguistics were discussed by Moortgat ([15]), who spok...
IANDC
2010
13 years 8 months ago
2010
Categorial grammars in the tradition of Lambek [18, 19] are asymmetric: sequent statements are of the form Γ ⇒ A, where the succedent is a single formula A, the antecedent a st...
JOLLI
2006
13 years 9 months ago
2006
This paper develops an inference system for natural language within the `Natural Logic' paradigm as advocated by Van Benthem [11], S
COLING
2008
13 years 11 months ago
2008
ANLP
2000
13 years 11 months ago
2000
