L 3 -值命题逻辑的R-演算

发布时间：2021-09-23 06:44

　　在L₃-值命题逻辑中,对应于矢列式推导的Gentzen推理系统G是单调的,而对应于余矢列式推导的Gentzen推理系统G^-是非单调的。基于G和G^-,文中给出了一个R-演算S,使得任意的R-转换Δ|A?Δ,C是有效的当且仅当它在S中可证。因此, S在限制A进入Δ时是单调的,而在将A添加到Δ中时是非单调的。 

【文章来源】：计算机科学. 2020,47(04)北大核心CSCD

【文章页数】：5 页

【文章目录】：
1 引言
2 L3-值命题逻辑
    1)命题变元:
    2)逻辑连接符:
3 R-演算
4 R-演算S的简化形S′[13-15]



本文编号：3405234