On the Logical Strength of Confluence and Normalisation for Cyclic Proofs
On the Logical Strength of Confluence and Normalisation for Cyclic Proofs
复制标题
论循环证明的汇合与归一化的逻辑强度
DOI：
--
复制
发表时间：
2021
期刊：
影响因子：
--
通讯作者：
Anupam Das
中科院分区：
文献类型：
--
作者：
Anupam Das
登录
查看更多内容
16 值推理的免割系统
DOI：
--
发表时间：
2005
期刊：
Bulletin of the Section of Logic 34(4)
影响因子：
--
作者：
上出哲広;上出哲広;上出哲広;上出哲広;上出哲広;上出哲広;上出哲広
通讯作者：
上出哲広
关于 n 量词归纳
影响因子：
0.6
作者：
C. Parsons
通讯作者：
C. Parsons
T 可定义泛函连续性的句法方法
DOI：
10.23638/lmcs-16(1:22)2020
发表时间：
2019
期刊：
ArXiv
影响因子：
--
作者：
Chuangjie Xu
通讯作者：
Chuangjie Xu
（克莱恩行动）的非充分证明理论（代数格）
DOI：
10.4230/lipics.csl.2018.19
发表时间：
2018
期刊：
ArXiv
影响因子：
--
作者：
Anupam Das;D. Pous
通讯作者：
D. Pous
Büchi 可判定性定理的逻辑强度
DOI：
10.23638/lmcs-15(2:16)2019
发表时间：
2016
期刊：
ArXiv
影响因子：
--
作者：
L. Kolodziejczyk;H. Michalewski;Cécilia Pradic;Michal Skrzypczak
通讯作者：
Michal Skrzypczak