On p-Optimal Proof Systems and Logics for PTIME

被引：0

作者：

Chen, Yijia ^{[1
]}

Flum, Joerg ^{[2
]}

机构：

[1] Shanghai Jiao Tong Univ, Dept Comp Sci, Shanghai, Peoples R China

[2] Albert-Ludwigs Universitat Freiburg, Matemat Inst, Freiburg, Germany

来源：

AUTOMATA, LANGUAGES AND PROGRAMMING, PT II | 2010年 / 6199卷

关键词：

COMPLETE-SETS; COMPLEXITY;

D O I：

暂无

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

We prove that TAUT has a p-optimal proof system if and only if a logic related to least fixed-point logic captures polynomial time on all finite structures. Furthermore, we show that TAUT has no effective p-optimal proof system if NTIME(h(O(1))) not subset of DIIME(h(O(logh))) for every time constructible and increasing function h.

引用

页码：321 / +

页数：2

共 50 条

[41] Locally φp-optimal designs for generalized linear models with a single-variable quadratic polynomial predictor
Wu, Hsin-Ping
Stufken, John
[J]. BIOMETRIKA, 2014, 101 (02) : 365 - 375
[42] CELL DECOMPOSITION AND CLASSIFICATION OF DEFINABLE SETS IN p-OPTIMAL FIELDS (vol 82, pg 120, 2017)
Darniere, Luck
Halupczok, Immanuel
[J]. JOURNAL OF SYMBOLIC LOGIC, 2018, 83 (04) : 1722 - 1722
[43] Proof analysis in intermediate logics
Dyckhoff, Roy
Negri, Sara
[J]. ARCHIVE FOR MATHEMATICAL LOGIC, 2012, 51 (1-2): : 71 - 92
[44] Substitution Frege and extended Frege proof systems in non-classical logics
Jerabek, Emil
[J]. ANNALS OF PURE AND APPLIED LOGIC, 2009, 159 (1-2) : 1 - 48
[45] Proof Systems for 3-valued Logics Based on Godel's Implication
Avron, Arnon
[J]. LOGIC JOURNAL OF THE IGPL, 2022, 30 (03) : 437 - 453
[46] Nondeterministic functions and the existence of optimal proof systems
Beyersdorff, Olaf
Koebler, Johannes
Messner, Jochen
[J]. THEORETICAL COMPUTER SCIENCE, 2009, 410 (38-40) : 3839 - 3855
[47] On the proof complexity of logics of bounded branching
Jerabek, Emil
[J]. ANNALS OF PURE AND APPLIED LOGIC, 2023, 174 (01)
[48] Proof theory for hybrid(ised) logics
Neves, Renato
Madeira, Alexandre
Martins, Manuel A.
Barbosa, Luis S.
[J]. SCIENCE OF COMPUTER PROGRAMMING, 2016, 126 : 73 - 93
[49] Proof Theory and Algebra in Substructural Logics
Terui, Kazushige
[J]. AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS, 2011, 6793 : 20 - 20
[50] PROOF THEORIES FOR SUPERPOSITIONS OF ADAPTIVE LOGICS
Straber, Christian
Van De Putte, Frederik
[J]. LOGIQUE ET ANALYSE, 2015, (230) : 307 - 346

← 1 2 3 4 5 →