.png){kind=icon}
返回
Some New Three-valued Paraconsistent Logics
.png){kind=icon}
PRE
AI
DOI：10.1007/s11225-025-10222-9.png)
.png){kind=icon}
原文求助.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
本文提出了一些新的三值相容逻辑系统，对于这些系统，可以遵循Dutta和Chakraborty（载于《Paraconsistent Logic的新方向：Springer数学与统计进展》，第152卷，第269-283页，Springer，印度，2015年）的方法，在推论和不一致性的概念之间建立一一对应关系。为这些逻辑中的每一种都建立了一种自然演绎风格的证明系统以及可靠性与完备性结果。此外，基于新提出的广义温和爆炸概念，识别出其中一些逻辑为广义的形式不一致性逻辑。
Keyword:
Paraconsistent logic
3-valued logic
Natural deduction
Gentle explosion
期刊
S
IF:
0.6
论文数:
38
被引数:
0
机构
.png){kind=icon}
查看更多内容