相干逻辑的三种语义解释

发布时间：2021-06-07 09:08

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

【文章来源】：逻辑学研究. 2018,11(03)CSSCI

【文章页数】：14 页

【文章目录】：
1 相干逻辑系统B+以及B+的扩充
2 B+以及其扩充的三种语义解释
    2.1 代数语义:
    2.2 关系语义:
    2.3 推理语义:
3 三种语义框架之间的对应关系
4 B+及其扩充所对应的语义假设
5 结语


【参考文献】：
期刊论文
[1]相干逻辑关系语义的推理解释[J]. 周北海,贾青.  逻辑学研究. 2015(01)



本文编号：3216296