Cut-Elimination for Quantified Conditional Logic
Cut-Elimination for Quantified Conditional Logic
复制标题
量化条件逻辑的剪切消除
DOI：
10.1007/s10992-016-9403-0
复制
发表时间：
2017
影响因子：
1.5
通讯作者：
Christoph Benzmüller
中科院分区：
文献类型：
--
作者：
Christoph Benzmüller
利用量化条件逻辑在经典高阶逻辑中的语义嵌入，将前者的割消约简为后者的已有结果。所提出的嵌入方法适用于广泛的其他逻辑，其中许多切割消除仍然是开放的。然而，必须特别注意切割模拟，这可能使切割消除作为一个毫无意义的标准。
A semantic embedding of quantified conditional logic in classical higher-order logic is utilized for reducing cut-elimination in the former logic to existing results for the latter logic. The presented embedding approach is adaptable to a wide range of other logics, for many of which cut-elimination is still open. However, special attention has to be payed to cut-simulation, which may render cut-elimination as a pointless criterion.
登录
查看更多内容
影响因子：
1.7
作者：
B. Russell
通讯作者：
B. Russell
影响因子：
1.3
作者：
Christoph Benzmüller
通讯作者：
Christoph Benzmüller
高阶自动定理证明器
DOI：
--
发表时间：
2015
期刊：
影响因子：
--
作者：
Christoph Benzmüller
通讯作者：
Christoph Benzmüller
高阶逻辑自动化
DOI：
10.1016/b978-0-444-51624-4.50005-8
发表时间：
2014
期刊：
影响因子：
--
作者：
Christoph Benzmüller;Dale Miller
通讯作者：
Dale Miller
DOI：
10.1016/b978-0-7204-2233-7.50050-2
发表时间：
1963
影响因子：
11.1
作者：
R. Smullyan
通讯作者：
R. Smullyan