Gentzen-type calculi for involutive quantales
Gentzen-type calculi for involutive quantales
复制标题
内卷量子数的 Gentzen 型演算
DOI：
--
复制
发表时间：
2005
期刊：
影响因子：
--
通讯作者：
上出哲広
中科院分区：
文献类型：
--
作者：
上出哲広;上出哲広;上出哲広;上出哲広;上出哲広
登录
查看更多内容
DOI：
10.1016/0020-0190(87)90106-2
发表时间：
1987-01
期刊：
Inf. Process. Lett.
影响因子：
--
作者：
C. Hoare;J. He
通讯作者：
C. Hoare;J. He
影响因子：
1.4
作者：
Faggian, C;Sambin, G
通讯作者：
Sambin, G
各种一阶和高阶逻辑的割除消除和完备性的统一语义证明
DOI：
10.1016/s0304-3975(02)00024-5
发表时间：
2002
期刊：
Theor. Comput. Sci.
影响因子：
--
作者：
M. Okada
通讯作者：
M. Okada
影响因子：
0.3
作者：
V. Abrusci
通讯作者：
V. Abrusci
代数结构和观察：非交换逻辑的量子 - 量子力学的理论方法
DOI：
10.1007/978-94-011-0029-8_31
发表时间：
1995
期刊：
Inf. Process. Lett.
影响因子：
--
作者：
M. Piazza
通讯作者：
M. Piazza