Failure of Cut-Elimination in the Cyclic Proof System of Bunched Logic with Inductive Propositions
Failure of Cut-Elimination in the Cyclic Proof System of Bunched Logic with Inductive Propositions
复制标题
归纳命题群逻辑循环证明系统中割消法的失败
DOI：
--
复制
发表时间：
2021
期刊：
影响因子：
--
通讯作者：
Daisuke
中科院分区：
文献类型：
--
作者：
Saotome;Kenji ; Nakazawa;Koji ; Kimura;Daisuke
登录
查看更多内容
16 值推理的免割系统
DOI：
--
发表时间：
2005
期刊：
Bulletin of the Section of Logic 34(4)
影响因子：
--
作者：
上出哲広;上出哲広;上出哲広;上出哲広;上出哲広;上出哲広;上出哲広
通讯作者：
上出哲広
通用循环定理证明者
影响因子：
0.6
作者：
J. Brotherston;Nikos Gorogiannis;R. Petersen
通讯作者：
R. Petersen
循环证明的剪切：语义和剪切消除
DOI：
10.4230/lipics.csl.2013.248
发表时间：
2013
期刊：
ArXiv
影响因子：
--
作者：
J. Fortier;L. Santocanale
通讯作者：
L. Santocanale
分离逻辑循环证明中割消除的失败
DOI：
--
发表时间：
2019
期刊：
影响因子：
--
作者：
Daisuke Kimura;Koji Nakazawa;Tachio Terauchi;and Hiroshi Unno
通讯作者：
and Hiroshi Unno
DOI：
10.1109/lics.2007.16
发表时间：
2018
期刊：
22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007)
影响因子：
--
作者：
David Baelde;Amina Doumane;A. Saurin
通讯作者：
A. Saurin