在L₃-值命題邏輯中,對應于矢列式推導的Gentzen推理系統(tǒng)G是單調(diào)的,而對應于余矢列式推導的Gentzen推理系統(tǒng)G^-是非單調(diào)的�；贕和G^-,文中給出了一個R-演算S,使得任意的R-轉(zhuǎn)換Δ|A?Δ,C是有效的當且僅當它在S中可證。因此, S在限制A進入Δ時是單調(diào)的,而在將A添加到Δ中時是非單調(diào)的。 

【文章來源】：計算機科學. 2020,47(04)北大核心CSCD

【文章頁數(shù)】：5 頁

【文章目錄】：
1 引言
2 L3-值命題邏輯
    1)命題變元:
    2)邏輯連接符:
3 R-演算
4 R-演算S的簡化形S′[13-15]



本文編號：3405234