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