CUT-ELIMINATION THEOREM FOR A PEIRCEAN LOGIC

被引：0
|
作者：
WHITE, RB [1 ]
机构：
[1] CENTRE COLL KENTUCKY,DANVILLE,KY
来源：
TRANSACTIONS OF THE CHARLES S PEIRCE SOCIETY | 1976年 / 12卷 / 03期
关键词：
D O I：
暂无
中图分类号：
B [哲学、宗教];
学科分类号：
01 ; 0101 ;
摘要：
引用
收藏
页码：253 / 262
页数：10
相关论文
共 50 条
  • [31] Cut-Elimination: Syntax and Semantics
    Baaz, M.
    Leitsch, A.
    STUDIA LOGICA, 2014, 102 (06) : 1217 - 1244
  • [32] Fast cut-elimination by projection
    Baaz, M
    Leitsch, A
    COMPUTER SCIENCE LOGIC, 1997, 1258 : 18 - 33
  • [33] 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
  • [34] Cut-Elimination: Syntax and Semantics
    M. Baaz
    A. Leitsch
    Studia Logica, 2014, 102 : 1217 - 1244
  • [35] Cut-elimination and redundancy-elimination by resolution
    Baaz, M
    Leitsch, A
    JOURNAL OF SYMBOLIC COMPUTATION, 2000, 29 (02) : 149 - 176
  • [36] A CUT ELIMINATION THEOREM FOR STATIONARY-LOGIC
    SZABO, ME
    ANNALS OF PURE AND APPLIED LOGIC, 1987, 33 (02) : 181 - 193
  • [37] Syntactic Cut-Elimination for Intuitionistic Fuzzy Logic via Linear Nested Sequents
    Lyon, Tim
    LOGICAL FOUNDATIONS OF COMPUTER SCIENCE (LFCS 2020), 2020, 11972 : 156 - 176
  • [38] A Formally Verified Cut-Elimination Procedure for Linear Nested Sequents for Tense Logic
    D'Abrera, Caitlin
    Dawson, Jeremy
    Gore, Rajeev
    AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS, TABLEAUX 2021, 2021, 12842 : 281 - 298
  • [39] Syntactic cut-elimination for common knowledge
    Bruennler, Kai
    Studer, Thomas
    ANNALS OF PURE AND APPLIED LOGIC, 2009, 160 (01) : 82 - 95
  • [40] Indexed systems of sequents and cut-elimination
    Grigori Mints
    Journal of Philosophical Logic, 1997, 26 : 671 - 696
12345