STRATIFICATION AND CUT-ELIMINATION

被引：5
|
作者：
CRABBE, M
机构：
来源：
JOURNAL OF SYMBOLIC LOGIC | 1991年 / 56卷 / 01期
关键词：
D O I：
10.2307/2274915
中图分类号：
O1 [数学];
学科分类号：
0701 ; 070101 ;
摘要：
引用
收藏
页码：213 / 226
页数：14
相关论文
共 50 条
  • [1] Methods of Cut-Elimination
    Buss, Sam
    STUDIA LOGICA, 2015, 103 (03) : 663 - 667
  • [2] Cut-elimination for ω1
    Arai, Toshiyasu
    ANNALS OF PURE AND APPLIED LOGIC, 2018, 169 (12) : 1246 - 1269
  • [3] Cut-Elimination: Syntax and Semantics
    Baaz, M.
    Leitsch, A.
    STUDIA LOGICA, 2014, 102 (06) : 1217 - 1244
  • [4] Fast cut-elimination by projection
    Baaz, M
    Leitsch, A
    COMPUTER SCIENCE LOGIC, 1997, 1258 : 18 - 33
  • [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
    M. Baaz
    A. Leitsch
    Studia Logica, 2014, 102 : 1217 - 1244
  • [7] Cut-elimination and redundancy-elimination by resolution
    Baaz, M
    Leitsch, A
    JOURNAL OF SYMBOLIC COMPUTATION, 2000, 29 (02) : 149 - 176
  • [8] THE MODAL LOGIC OF PROVABILITY, CUT-ELIMINATION
    VALENTINI, S
    JOURNAL OF PHILOSOPHICAL LOGIC, 1983, 12 (04) : 471 - 476
  • [9] Cut-Elimination for Quantified Conditional Logic
    Christoph Benzmüller
    Journal of Philosophical Logic, 2017, 46 : 333 - 353
  • [10] Cut-Elimination for Quantified Conditional Logic
    Benzmuller, Christoph
    JOURNAL OF PHILOSOPHICAL LOGIC, 2017, 46 (03) : 333 - 353
12345