The following pages link to Propositional consistency proofs (Q1177033):
Displayed 13 items.
- Towards NP-P via proof complexity and search (Q408544) (← links)
- Tractability of cut-free Gentzen type propositional calculus with permutation inference (Q672046) (← links)
- The lengths of proofs: Kreisel's conjecture and Gödel's speed-up theorem (Q843609) (← links)
- Quantum deduction rules (Q1001909) (← links)
- Tractability of cut-free Gentzen-type propositional calculus with permutation inference. II (Q1575637) (← links)
- Short proofs of the Kneser-Lovász coloring principle (Q1641004) (← links)
- A bounded arithmetic AID for Frege systems (Q1977488) (← links)
- Quantified propositional calculus and a second-order theory for NC\(^{\text \textbf{1}}\) (Q2388433) (← links)
- QUASIPOLYNOMIAL SIZE FREGE PROOFS OF FRANKL’S THEOREM ON THE TRACE OF SETS (Q3188337) (← links)
- Propositional Proofs in Frege and Extended Frege Systems (Abstract) (Q3194704) (← links)
- Frege proof system and TNC° (Q4212930) (← links)
- The Complexity of Propositional Proofs (Q5444711) (← links)
- Frege proof system and TNC° (Q6064284) (← links)