11 search results - page 3 / 3 » A Cut-Free Sequent System for the Smallest Interpretability ... |
IANDC
2010
13 years 3 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...