Pages that link to "Item:Q5686023"

The following pages link to Some Results on the Length of Proofs (Q5686023):

Displaying 29 items.

• Proof generalization in \(\mathrm {LK}\) by second order unifier minimization (Q331619) (← links)
• Interpolants, cut elimination and flow graphs for the propositional calculus (Q674415) (← links)
• Remark on Kreisel's conjecture (Q684960) (← links)
• Simple second-order languages for which unification is undecidable (Q807609) (← links)
• The lengths of proofs: Kreisel's conjecture and Gödel's speed-up theorem (Q843609) (← links)
• Generalizing proofs in monadic languages (with a postscript by Georg Kreisel). (Q930260) (← links)
• On meta complexity of propositional formulas and propositional proofs (Q937212) (← links)
• The number of proof lines and the size of proofs in first order logic (Q1102280) (← links)
• On the number of steps in proofs (Q1119576) (← links)
• The undecidability of the second-order unification problem (Q1150586) (← links)
• The undecidability of \(k\)-provability (Q1176199) (← links)
• Bounded arithmetic, proof complexity and two papers of Parikh (Q1295443) (← links)
• The Kreisel length-of-proof problem (Q1353977) (← links)
• Farmer's theorem revisited (Q1607046) (← links)
• Paraconsistent informational logic (Q1775866) (← links)
• A unification-theoretic method for investigating the \(k\)-provability problem (Q1814133) (← links)
• Generalizing theorems in real closed fields (Q1899140) (← links)
• \(k\)-provability in \(\mathrm{PA}\) (Q2070428) (← links)
• Essential structure of proofs as a measure of complexity (Q2183713) (← links)
• Proof schemata in Hilbert-type axiomatic theories (Q2276941) (← links)
• Herbrand's theorem and term induction (Q2491080) (← links)
• A theorem on generalizations of proofs (Q2640597) (← links)
• Parikh and Wittgenstein (Q3299831) (← links)
• The Heterogeneity of Mathematical Research (Q3305309) (← links)
• Speed-Up by Theories with Infinite Models (Q3922672) (← links)
• VARIANTS OF KREISEL’S CONJECTURE ON A NEW NOTION OF PROVABILITY (Q5037515) (← links)
• Informational logic for automated reasoning (Q5236445) (← links)
• A Tableaux-Based Decision Procedure for Multi-parameter Propositional Schemata (Q5495914) (← links)
• Herbrand complexity and the epsilon calculus with equality (Q6178471) (← links)