Truth, Partial Logic and Infinitary Proof Systems

被引：5
作者：
Fischer, Martin [1 ]
Gratzl, Norbert [1 ]
机构：
[1] Ludwig Maximilians Univ Munchen, Munich, Germany
来源：
STUDIA LOGICA | 2018年 / 106卷 / 03期
基金：
欧盟地平线“2020”;
关键词：
Truth; Partial logic; Infinitary proof systems; Axiomatic theories; Minimal fixed-point;
D O I：
10.1007/s11225-017-9751-y
中图分类号：
O1 [数学];
学科分类号：
0701 ; 070101 ;
摘要：
In this paper we apply proof theoretic methods used for classical systems in order to obtain upper bounds for systems in partial logic. We focus on a truth predicate interpreted in a Kripke style way via strong Kleene; whereas the aim is to connect harmoniously the partial version of Kripke-Feferman with its intended semantics. The method we apply is based on infinitary proof systems containing an omega-rule.
引用
收藏
页码：515 / 540
页数：26
相关论文
共 17 条
  • [1] [Anonymous], 1998, HDB PROOF THEORY
  • [2] Blamey Stephen R., 2002, HDB PHILOS LOGIC, P261, DOI DOI 10.1007/978-94-017-0458-8_5
  • [3] Buchholz W., 2001, LOGIK, VI
  • [4] THE TRUTH IS NEVER SIMPLE
    BURGESS, JP
    [J]. JOURNAL OF SYMBOLIC LOGIC, 1986, 51 (03) : 663 - 681
  • [5] A THEORY OF FORMAL TRUTH ARITHMETICALLY EQUIVALENT TO ID1
    CANTINI, A
    [J]. JOURNAL OF SYMBOLIC LOGIC, 1990, 55 (01) : 244 - 259
  • [6] NOTES ON FORMAL-THEORIES OF TRUTH
    CANTINI, A
    [J]. ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1989, 35 (02): : 97 - 130
  • [7] Field Hartry H., 2008, SAVING TRUTH PARADOX
  • [8] Iterated reflection over full disquotational truth
    Fischer, Martin
    Nicolai, Carlo
    Horsten, Leon
    [J]. JOURNAL OF LOGIC AND COMPUTATION, 2017, 27 (08) : 2631 - 2651
  • [9] AXIOMATIZING SEMANTIC THEORIES OF TRUTH?
    Fischer, Martin
    Halbach, Volker
    Kriener, Joenne
    Stern, Johannes
    [J]. REVIEW OF SYMBOLIC LOGIC, 2015, 8 (02) : 257 - 278
  • [10] Axiomatizing Kripke's theory of truth
    Halbach, V
    Horsten, L
    [J]. JOURNAL OF SYMBOLIC LOGIC, 2006, 71 (02) : 677 - 712
12