scientific article; zbMATH DE number 806744
From MaRDI portal
Publication:4850545
zbMath0834.03021MaRDI QIDQ4850545
Toniann Pitassi, Maria Luisa Bonet, Samuel R. Buss
Publication date: 17 October 1995
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Kruskal-Katona theoremextended Frege systemsspeed-uppigeonhole principlecombinatorial tautologiesBondy's theoremextended Frege proofspolynomial-size
Related Items
The proof complexity of linear algebra ⋮ Short Proofs of the Kneser-Lovász Coloring Principle ⋮ Polynomal-size Frege proofs of Bollobás' theorem on the trace of sets ⋮ Short proofs of the Kneser-Lovász coloring principle ⋮ Propositional Proofs in Frege and Extended Frege Systems (Abstract) ⋮ Characterizing Propositional Proofs as Noncommutative Formulas ⋮ Logical Closure Properties of Propositional Proof Systems ⋮ Proof complexity of propositional default logic ⋮ A bounded arithmetic AID for Frege systems ⋮ Exponential Lower Bounds for AC0-Frege Imply Superpolynomial Frege Lower Bounds ⋮ Weak theories of linear algebra ⋮ The deduction theorem for strong propositional proof systems ⋮ The Deduction Theorem for Strong Propositional Proof Systems ⋮ On the correspondence between arithmetic theories and propositional proof systems – a survey ⋮ Proof Complexity of Non-classical Logics ⋮ Propositional proof complexity ⋮ Tractability of cut-free Gentzen-type propositional calculus with permutation inference. II ⋮ Short Proofs for the Determinant Identities ⋮ Quasipolynomial size proofs of the propositional pigeonhole principle
This page was built for publication:
