The number of lines in Frege proofs with substitution

DOI10.1007/S001530050078zbMath0894.03034OpenAlexW2017728719MaRDI QIDQ1386671

Alasdair Urquhart

Publication date: 19 August 1998

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

Full work available at URL: https://doi.org/10.1007/s001530050078

zbMATH Keywords

detachmentsubstitutionFrege proofs

Mathematics Subject Classification ID

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

Related Items (3)

A Logical Autobiography ⋮ Substitution and Propositional Proof Complexity ⋮ Comments on the Contributions

This page was built for publication: The number of lines in Frege proofs with substitution