Abstract
There is an exponential speed-up in the number of lines of the quantified propositional sequent calculus over Substitution Frege Systems, if one considers proofs as trees. Whether this is true also for the number of symbols, is still an open problem.
Similar content being viewed by others
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Carbone, A. Quantified Propositional Logic and the Number of Lines of Tree-Like Proofs. Studia Logica 64, 315–321 (2000). https://doi.org/10.1023/A:1005281425560
Issue Date:
DOI: https://doi.org/10.1023/A:1005281425560