相干逻辑的三种语义解释

摘要

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