相干逻辑的三种语义解释

摘要：

基本正系统B+是若干相干逻辑正系统的基础,通过添加新的公理模式就能在B+的基础上得到一系列不同的相干逻辑正系统.Meyer和Routley(1972)以及Routley和Meyer(1972)分别给出了B+及其一系列扩充的代数语义和关系语义,Meyer和Routley(1972)还讨论了这两种语义之间的对应关系.本文中,我们将在引入周北海(1996a)、(1996b)中所创立的相干逻辑推理语义的基础上,给出B+及其一系列扩充的推理语义解释,并进一步讨论相干逻辑正系统的推理语义与其他两种语义解释之间的对应关系问题.

关键词：相干逻辑、推理语义、代数语义、关系语义

所属期刊栏目：11

分类号：B81(逻辑学(论理学))

资助基金：国家社科基金重大项目12&ZD119

在线出版日期：2018-10-29（万方平台首次上网日期，不代表论文的发表时间）

页数：共14页

页码：44-57