刘易斯的S3 严格蕴涵和公理 刘易斯逻辑之九

  刘易斯的S3 严格蕴涵和公理  刘易斯逻辑之九 目录 刘易斯的S3 严格蕴涵和公理  刘易斯逻辑之九 一、S1-S3的两个图表 1、符号说明 2、两个公理比较图表。 二、不同于实质蕴涵的严格蕴涵和基础性六公理 1、引入新的蕴涵观念：严格蕴涵 2、基础性公理A1(B1)-A6(B6) 3、有创新意蕴的特征公理 三、S3给了我们什么观念？ 1、S3和S2，S1之间的关系 2、非正规模态逻辑和正规模

>>阅读原文<<