论文部分内容阅读
规约含义的形式化研究是指采用自然演绎的方法来描述规约含义的实现方式。规约含义的句子结构层面LCI和话语层面LU是有机结合的两个逻辑描述系统，规约含义的重要特征体现在说话人倾向性、承诺性和独立性三个方面。形式化的研究方法使得规约含义逐渐拥有独立的形式化描写体系。
规约含义的形式化研究
【摘 要】
：
规约含义的形式化研究是指采用自然演绎的方法来描述规约含义的实现方式。规约含义的句子结构层面LCI和话语层面LU是有机结合的两个逻辑描述系统，规约含义的重要特征体现在说
【机 构】
：
河海大学外国语学院
【出 处】
：
外国语文
【发表日期】
：
2011年B07期
【基金项目】
：
河海大学郑亚南教授对本文提出了指导意见,特表示感谢.
其他文献
新时期,农村信用合作联社青年员工思想教育需要立足于以下四点:加强青年员工思想教育中的人文关怀、加强青年员工思想教育中的自信塑造、加强青年员工思想教育中的精神培育、
成果的转化率低。我国科研机构涉及测控技术及相关仪器的科研成果不少，但实用性较差。国家整体的产、学、研等有机结合体制和政策没有形成，创新成果转化率低，技术应用较差。近年
感恩作为积极心理学领域的重要课题日益受到社会学家和心理学家的关注。从积极心理学视角入手，考察高职贫困生感恩品质的现状，并基于积极心理学的理念提出课内外相结合的感恩教
江宁区西庄铜矿地质特殊,常常成为地质研究者研究的对象,而其中含碳酸盐地层和侵入岩接触带中所存在的物质包括铜铅锌等物质的具体情况仍然有待考察。因此本文针对西庄铜矿地
民国时期的中国佛教,由于外部社会的动荡、内部思想的空疏,处于一种混沌的危机当中。表面上似乎渗透于社会文化的方方面面,实际上却逐渐消融在民间信仰当中。面对佛教的困境,
本文细述了塑料用涂料必须具备的2个基本条件的和品种,还要根据耐候性、耐热性等塑料部件制品内外使用场合和特殊功能及结构要求选用涂料.塑料用涂料将向着抗划伤性、高硬度
以某型移动式筛分站为研究对象,利用动力学仿真软件Workbench建立其采用的新型半内藏式液压马达驱动滚筒建立虚拟样机,对其工作状态进行仿真静力学分析和疲劳分析,用理论计算
综合比较了现有的三维虚拟装配技术，选用Cuh3D作为平台配合Java编程实现基于网络的三维虚拟装配以及各种交互动作，阐述从建模、装配到发布资源的完整过程。该技术工程文件较小
在《走出非洲》中，凯伦·布里克森与人物进行了关于小说叙事的对话，表现了她对小说创作的关注。她在小说中所采用的叙事结构具有强烈的元小说性质，小说文本中还体现出了小说
在刑法与刑事诉讼法中有一个概念长期被人们所忽视,这就是拒执犯罪。事实上即使在当前国家司法体制不断要求加强执行力度,完善执行管理的当下,大多数当事人也并没有真正理解