What people are saying - Write a review
We haven't found any reviews in the usual places.
Associativity and Restructuring
Outline of Part
4 other sections not shown
Other editions - View all
answer substitutions argument lifting associated atoms Axiom BASCAT basic basis Benthem Boolean coordination bottom-up Categorial Grammar Chapter clause logic cliticization combination complement Composition computed concatenation constituent cut formula Cut inference cut-free deduction trees Definition derivation directionality discussion Division Elimination rules Example Figure finite functional application functional composition functor categories Gentzen proof tree goal sequent grammar Horn clause incomplete expressions inference rules infixation instantiation Introduction rules L-valid lambda abstraction Lambek calculus left-associative lemma database logic main functor Mary meisje nodes non-concatenative np/n NP\S omdat operators order-preserving permutation phonological polymorphism PP/NP premise sequents Premise2 Program Prolog proof procedure prosodic prove/2 range subtype recursive reduction laws relation resolution refutation S/NP scope search space semantic algebra semantic interpretation semantic type sequence of types sequent calculus subgoals subordinate functor succedent syntactic syntactic category theorem prover type assignment type transitions type-shifting unary unification valid variable verb verb-raising