汉语史研究中的假设与证明.pdf

  1. 1、本文档被系统程序自动判定探测到侵权嫌疑,本站暂时做下架处理。
  2. 2、如果您确认为侵权,可联系本站左侧在线QQ客服请求删除。我们会保证在24小时内做出处理,应急电话:400-050-0827。
  3. 3、此文档由网友上传,因疑似侵权的原因,本站不提供该文档下载,只提供部分内容试读。如果您是出版社/作者,看到后可认领文档,您也可以联系本站进行批量认领。
查看更多
模态逻辑讲义 2(006 年 ) 李 小 五 编 著 中山大学逻辑与认知研究所 第 1 章公理化 系统 在 章§ 1 我们给 出模态语言和模态公式,讨论它们的语 形特性 ,引入刻画模态的公理和推理规则,然后定义 书主要 关注 的公理化系统,并定义相对模态系统的形式证明和推演概 念 。最后我们证明这些系统是协调和和谐的。 从

您可能关注的文档

文档评论(0)

微传科技 + 关注
官方认证
内容提供者

该用户很懒,什么也没介绍

认证主体唐山市微传科技有限公司
IP属地河北
统一社会信用代码/组织机构代码
91130281MA0DTHX11W

1亿VIP精品文档

相关文档