Quantified propositional logic and the number of lines of tree-like proofs

DOI10.1023/A:1005281425560zbMath0956.03049OpenAlexW1497902529MaRDI QIDQ1577358

Alessandra Carbone

Publication date: 7 March 2001

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1005281425560

zbMATH Keywords

sequent calculusspeed-uppolynomial simulationnumber of lines in proofsquantified propositional logicsubstitution Frege systemstree-like proofs

Mathematics Subject Classification ID

Classical propositional logic (03B05) Complexity of proofs (03F20)

This page was built for publication: Quantified propositional logic and the number of lines of tree-like proofs