蒙太格PTQ系统的内涵逻辑

蒙太格的PTQ系统通过三部分最终完成了对自然语言形式化的处理，它们分别是：建构一个部分英语语句系统的语形；给出内涵逻辑的语形和语义；通过翻译规则，给出部分英语语句的语义。PTQ系统中最具创造性的内容之一是它的内涵逻辑思想，这对正确翻译英语语句语义至关重要。分析探讨PTQ系统中的内涵逻辑思想对我们深化汉语的形式化研究同样具有重要意义。