An unlabeled bracketing solution to the problem of conjoined phrases in Montague's PTQ

Conclusions Although Montague claims that the system of The proper treatment of quantification in ordinary English includes some conjunction and disjunction, the rules for other grammatical constructions do not take conjunction or disjunction into account, and in general fail either syntactically or semantically when one of their arguments is so formed. Using an unlabeled bracketing of syntactic structure and recursive definitions, we have been able to rewrite the rules so that correct results are obtained.These results should provide a firmer basis for extension of PTQ.This research was supported in part by NSF Grants GS-31309 and BNS 76-23840. Our observations were made with the aid of several computer programs for PTQ: a sentence generator for the bracketed syntax, a parser, and a translator. I should like to thank Philip Tedeschi, David Warren, and David Lewis for helpful discussions. Warren is also acknowledged as co-author of the section on the semantic role of conjunction.