On a logic of involutive quantales
On a logic of involutive quantales
复制标题
论内合量子数的逻辑
DOI：
--
复制
发表时间：
2005
期刊：
影响因子：
--
通讯作者：
上出哲広
中科院分区：
文献类型：
--
作者：
上出哲広;上出哲広;上出哲広;上出哲広
登录
查看更多内容
线性和其他子结构逻辑的关系证明系统
DOI：
10.1093/jigpal/5.5.673
发表时间：
1997
期刊：
Log. J. IGPL
影响因子：
--
作者：
W. MacCaull
通讯作者：
W. MacCaull
影响因子：
0.7
作者：
N. Kamide
通讯作者：
N. Kamide
Gelfand Quantales逻辑的Kripke语义
影响因子：
0.7
作者：
G. Allwein;W. MacCaull
通讯作者：
W. MacCaull
内卷量子数的 Gentzen 型演算
DOI：
--
发表时间：
2005
期刊：
International Journal of Theoretical Physics 44(4)
影响因子：
--
作者：
上出哲広;上出哲広;上出哲広;上出哲広;上出哲広
通讯作者：
上出哲広
Petri 网模型线性逻辑的完备性
DOI：
10.1093/jigpal/9.4.549
发表时间：
1998
期刊：
Log. J. IGPL
影响因子：
--
作者：
Keiko Ishihara;K. Hiraishi
通讯作者：
K. Hiraishi