A family of genuine and non-algebraisable C-systems.

Mauricio Osorio,Aldo Figallo Orellano,Miguel Pérez-Gaspar

J. Appl. Non Class. Logics（2021）

引用 2|浏览3

暂无评分

摘要

In 2016, Beziau introduced the notion of genuine paraconsistent logic as logic that does not verify the principle of non-contradiction; as an important example, he presented the genuine paraconsist...

查看译文

AI 理解论文

溯源树

样例

生成溯源树，研究论文发展脉络

Chat Paper

正在生成论文摘要