Short refutations for an equivalence‐chain principle for constant‐depth formulas

DOI10.1002/malq.201700034OpenAlexW2900822507MaRDI QIDQ5109242

Ramyaa Ramyaa, Samuel R. Buss

Publication date: 11 May 2020

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.201700034

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Cites Work

• Unnamed Item
• Unnamed Item
• The provably total search problems of bounded arithmetic
• A form of feasible interpolation for constant depth Frege systems
• A Note on Conservativity Relations among Bounded Arithmetic Theories
• Proof Complexity
• Parity Games and Propositional Proofs

This page was built for publication: Short refutations for an equivalence‐chain principle for constant‐depth formulas