Cut rule for the resolution method

DOI10.1007/S10958-014-1832-0zbMath1318.03057OpenAlexW2065096549MaRDI QIDQ2253866

V. P. Orevkov

Publication date: 13 February 2015

Published in: Journal of Mathematical Sciences (New York) (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10958-014-1832-0

zbMATH Keywords

upper boundlower boundcutrefutationresolution methodsequent

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Complexity of proofs (03F20)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Cut rule for the resolution method