Gentzen-type methods for bilattice negation
Gentzen-type methods for bilattice negation
复制标题
用于双格否定的 Gentzen 型方法
DOI：
--
复制
发表时间：
2005
期刊：
影响因子：
--
通讯作者：
上出哲広
中科院分区：
文献类型：
--
作者：
上出哲広;上出哲広
登录
查看更多内容
简介：次一致逻辑
影响因子：
0.7
作者：
G. Priest;R. Routley
通讯作者：
R. Routley
DOI：
10.1093/logcom/12.6.913
发表时间：
2002
期刊：
J. Log. Comput.
影响因子：
--
作者：
N. Kamide
通讯作者：
N. Kamide
用于 Nelson 逻辑的更高数量的 Gentzen 系统
DOI：
10.1515/9783110805703.105
发表时间：
2000
期刊：
--
影响因子：
--
作者：
H. Wansing
通讯作者：
H. Wansing
DOI：
--
发表时间：
1993
期刊：
Lecture Notes in Computer Science
影响因子：
--
作者：
H. Wansing
通讯作者：
H. Wansing
连接模态逻辑
DOI：
--
发表时间：
2004
期刊：
--
影响因子：
--
作者：
H. Wansing
通讯作者：
H. Wansing