Structural ambiguity in Montague Grammar and categorial grammar
Glyn V. Morrill · The Linguistic Review · 2015
Abstract We give a type logical categorial grammar for the syntax and semantics of Montague's seminal fragment, which includes ambiguities of quantification and intensionality and their interactions, and we present the analyses assigned by a parser/theorem prover CatLog to the examples in the first half of Chapter 7 of the classic text