Recursive ω-rule for proof systems

• 1 June 1989
• journal article
• Published by Elsevier in Information Processing Letters
• Vol. 31  (6) , 291-294
• https://doi.org/10.1016/0020-0190(89)90089-6

Abstract

Keywords

• PROOF SYSTEMS
• Ω-RULE
• ALGORITHMIC LOGIC