英语长句之汉泽技法

结合传统长句译法优点的同时,介绍一套“括号分析系统”和“翻译模式”,使得考生能较直观地掌握一些必要的翻译技巧,从而提高英语水平,获得好成绩。     

Birkhoff Completeness in Institutions

We develop an abstract proof calculus for logics whose sentences are ‘Horn sentences’ of the form: and prove an institutional generalization of Birkhoff completeness theorem. This result is then applied to the particular cases of Horn clauses logic, the ‘Horn fragment’ of preorder algebras, order-sorted algebras and partial algebras and their infinitary variants. the restriction of a logic to Horn sentences     

从认知的角度看“把”字句

本文在语法原型理论框架下,回顾了传统的对把字句理解和看法,并指出其不足之处,即对一些把字句没有解释力,进而从语法原型和认知的角度分析其原因。认为从语法原型和认知的角度能更好地解释那些传统语法所不能充分解释的把字句。     

早期汉语的“遭”类被动句——兼论“被”字句的胜出机制

早期汉语中“遭”类词在语义和语法特征上存在诸多相似性,“遭”类词作为被动标记的词;12来源也具有普遍语言学的意义。早期汉语中存在一组以“被”为代表的“遭”类被动句,但“被”和其他“遭”类词在发展上的不平衡,导致“被”胜出而成为后世汉语的强势被动表达法。