在线期刊

2005年第3期[语言逻辑]

    • (夏年喜)·DRS与一阶谓词逻辑公式

      DRS是DRT的灵魂部分,DRT对自然语言语义的刻画正是通过DRS来实现的。每个DRS都是由话语所指集和DRS-条件集构成的有序对。从DRS的模样可以看出,它和一阶谓词逻辑的公式是十分相象的,如果我们分别给出二者的严格定义,并在此基础上对二者间的翻译也进行定...[详细]

    • (张秋成)·类型-逻辑语法与逻辑形式系统的深刻联系

      本文通过论述类型-逻辑语法与逻辑形式系统的深刻联系,揭示了该理论以逻辑推理为基础的主要特色。这主要体现在两个方面:其一是类型-逻辑语法与相干逻辑、线形逻辑等逻辑系统同属于所谓的子结构逻辑;其二是依据柯里―霍华德同构定理,类型-逻辑语法中的两...[详细]

版权声明:社科网的所有在线期刊内容均由各期刊编辑部根据协议提供。 任何个人、机构、网站如未经本网书面授权,私自复制或转载本网中的图片、文字,均将被视为侵权行为。此类行为一经发现,本网将依据《中国人民共和国版权法》和《互联网管理条例》,追究侵权者的责任。