Keywords: 03F30; 03F20; 03D20; 03F40; Peano Arithmetic; Proof length; Paris-Harrington principle; Finite Ramsey theorem; Slow consistency; Fast growing hierarchy;
مقالات ISI (ترجمه نشده)
مقالات زیر هنوز به فارسی ترجمه نشده اند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
Keywords: 03B70; 03D15; 03F20; 68Q17; Bounded arithmetic; Circuit lower bounds;
Keywords: primary; 03D32; 03F99; 68Q30; secondary; 03F20; Probabilistic proofs; Kolmogorov complexity; Martin-Löf randomness;
Keywords: 03F20; 03B55Proof complexity; Intuitionistic logic; Implicational fragment
Short propositional refutations for dense random 3CNF formulas
Keywords: 68Q25; 03F20; 03F30; 03D15; Propositional proof complexity; Random 3-SAT; Refutation algorithms; Threshold logic; Frege proofs;
Separation results for the size of constant-depth propositional proofs
Keywords: primary; 03F20; secondary; 03F07; 68Q15; 68R99; Lengths of proofs; Propositional calculus; Frege system; Ordering principle;
Translation of resolution proofs into short first-order proofs without choice axioms
Keywords: 68T15; 03F20; 03F05; Theorem proving; Proof theory; Skolemization;