Propositional proof systems and fast consistency provers

DOI10.1305/NDJFL/1187031410zbMath1133.03036arXiv2004.05431OpenAlexW2079616795WikidataQ119846391 ScholiaQ119846391MaRDI QIDQ2469433

Joost J. Joosten

Publication date: 5 February 2008

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2004.05431

zbMATH Keywords

fast consistency proveroptimal proof system

Mathematics Subject Classification ID

Complexity classes (hierarchies, relations among complexity classes, etc.) (68Q15) Complexity of proofs (03F20)

This page was built for publication: Propositional proof systems and fast consistency provers