Paracomplete logics which are dual to the paraconsistent logics and .

Alejandro Hernández-Tello,Verónica Borja Macías,Marcelo E. Coniglio

LANMR(2019)

引用 1|浏览0
暂无评分
摘要
In 2016 Beziau, introduce a more restricted concept of paraconsistency, namely the genuine paraconsistency. He calls genuine paraconsistent logic those logic rejecting φ,¬φ ` ψ and ` ¬(φ ∧ ¬φ). In that paper the author analyzes, among the three-valued logics, which of these logics satisfy this property. If we consider multiple-conclusion consequence relations, the dual properties of those above mentioned are ` φ,¬φ and ¬(ψ ∨ ¬ψ) `. We call genuine paracomplete logics those rejecting the mentioned properties. We present here an analysis of the three-valued genuine paracomplete logics.
更多
查看译文
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络
Chat Paper
正在生成论文摘要