Natural deduction systems for Nelson's paraconsistent logic and its neighbors
Natural deduction systems for Nelson's paraconsistent logic and its neighbors
复制标题
纳尔逊次一致逻辑及其邻居的自然演绎系统
DOI：
--
复制
发表时间：
--
期刊：
影响因子：
--
通讯作者：
上出哲広
中科院分区：
文献类型：
--
作者：
上出哲広;上出哲広;上出哲広;上出哲広;上出哲広;上出哲広;上出哲広;上出哲広;上出哲広;上出哲広;上出哲広;上出哲広;上出哲広
登录
查看更多内容
影响因子：
0.6
作者：
MCCALL, S
通讯作者：
MCCALL, S
DOI：
--
发表时间：
1993
期刊：
Lecture Notes in Computer Science
影响因子：
--
作者：
H. Wansing
通讯作者：
H. Wansing
结构证明理论
DOI：
10.1017/cbo9780511527340
发表时间：
2001
期刊：
ACM Transactions on Computational Logic (TOCL)
影响因子：
--
作者：
Sara Negri;J. Plato
通讯作者：
J. Plato
连接模态逻辑
DOI：
--
发表时间：
2004
期刊：
--
影响因子：
--
作者：
H. Wansing
通讯作者：
H. Wansing
DOI：
10.1305/ndjfl/1038949541
发表时间：
1999
期刊：
Notre Dame J. Formal Log.
影响因子：
--
作者：
A. Tamminga;Koji Tanaka
通讯作者：
Koji Tanaka