Fast cut-elimination by projection

被引：0
|
作者：
Baaz, M [1 ]
Leitsch, A [1 ]
机构：
[1] Vienna Tech Univ, A-1040 Vienna, Austria
来源：
COMPUTER SCIENCE LOGIC | 1997年 / 1258卷
关键词：
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
引用
收藏
页码：18 / 33
页数：16
相关论文
共 50 条
  • [1] STRATIFICATION AND CUT-ELIMINATION
    CRABBE, M
    JOURNAL OF SYMBOLIC LOGIC, 1991, 56 (01) : 213 - 226
  • [2] Methods of Cut-Elimination
    Buss, Sam
    STUDIA LOGICA, 2015, 103 (03) : 663 - 667
  • [3] Cut-elimination for ω1
    Arai, Toshiyasu
    ANNALS OF PURE AND APPLIED LOGIC, 2018, 169 (12) : 1246 - 1269
  • [4] Fast Cut-Elimination using Proof Terms: An Empirical Study
    Ebner, Gabriel
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2018, (281): : 24 - 38
  • [5] Cut-elimination: Experiments with CERES
    Baaz, M
    Hetzl, S
    Leitsch, A
    Richter, C
    Spohr, H
    LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING, PROCEEDINGS, 2005, 3452 : 481 - 495
  • [6] Cut-Elimination: Syntax and Semantics
    Baaz, M.
    Leitsch, A.
    STUDIA LOGICA, 2014, 102 (06) : 1217 - 1244
  • [7] Cut-Elimination: Syntax and Semantics
    M. Baaz
    A. Leitsch
    Studia Logica, 2014, 102 : 1217 - 1244
  • [8] Cut-elimination and redundancy-elimination by resolution
    Baaz, M
    Leitsch, A
    JOURNAL OF SYMBOLIC COMPUTATION, 2000, 29 (02) : 149 - 176
  • [9] THE MODAL LOGIC OF PROVABILITY, CUT-ELIMINATION
    VALENTINI, S
    JOURNAL OF PHILOSOPHICAL LOGIC, 1983, 12 (04) : 471 - 476
  • [10] Cut-Elimination for Quantified Conditional Logic
    Christoph Benzmüller
    Journal of Philosophical Logic, 2017, 46 : 333 - 353
12345