ABSTRACT
Montague'stheoriesofpropertiesandtrytocomparethem withtheoneweadopt.Adetailedconsiderationofallof themwouldtakeustoofarafield.Sothefollowing considerationswillhavetobetoalargeextentpreliminaryandinformal.Wewillfirstconsiderapproaches thatessentiallymaintaintypetheoryasaframeworkfor modellingpredicationandthenwewillconsidernontype theoreticapproaches.Throughoutthefollowingdiscussion,itmightbeworthtobearinmindwhataspectsof ourtheorywetaketobefundamental,namely:
c) having a sufficiently general theory of predication
5.1 Cresswell's models for A-categorial languages.