The Intensional Logic of Montague's PTQ System
Xiaojia Tang · Journal of Southwest University · 2009
Montague's PTQ system eventually completes the work of formalizing natural language through three parts,namely building a syntax about part of English statement system; giving syntax and semantic of intensional logic; giving semantics about part of the English statement through translation rules. In PTQ system one of the most creative contents is the thought of intensional logic,and it is essential to correctly translate semantics of English statement. It is also very important that analyzing the intensional logical thought in PTQ system for deepening our research about formalizing Chinese.