A Resolution Calculus for Shortening Proofs

DOI10.1093/jigpal/jzi027zbMath1080.03035OpenAlexW2142805699MaRDI QIDQ5697719

Nicolas Peltier

Publication date: 18 October 2005

Published in: Logic Journal of the IGPL (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/jigpal/jzi027

zbMATH Keywords

length of proofextended resolution calculusquantifier introduction method

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Complexity of proofs (03F20)

This page was built for publication: A Resolution Calculus for Shortening Proofs