CoTAGs and ACGs

Our main concern is to provide a complete picture of how coTAGs, as a particular variant within the general framework of tree adjoining grammars (TAGs), can be captured under the notion of abstract categorial grammars (ACGs). coTAGs have been introduced by Barker [1] as an "alternative conceptualization" in order to cope with the tension between the TAG-mantra of the "locality of syntactic dependencies" and the seeming non-locality of quantifier scope. We show how our formalization of Barker's proposal leads to a class of higher order ACGs. By taking this particular perspective, Barker's proposal turns out as a straightforward extension of the proposal of Pogodalla [11], where the former in addition to "simple" inverse scope phenomena also captures inverse linking and non-inverse linking phenomena.