Gentzen systems, resolution, and literal trees

DOI10.1305/NDJFL/1093636762zbMath0629.03038OpenAlexW2031157676MaRDI QIDQ1093632

Daniel J. Dougherty

Publication date: 1986

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

Full work available at URL: https://doi.org/10.1305/ndjfl/1093636762

zbMATH Keywords

cut eliminationresolutionextended resolutionlength of proofscalculi for propositional logicGentzen's sequential calculus

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Cut-elimination and normal-form theorems (03F05) Recursive ordinals and ordinal notations (03F15) Complexity of proofs (03F20)

This page was built for publication: Gentzen systems, resolution, and literal trees