Free deduction: An analysis of “Computations” in classical logic

• 1 January 1992
• book chapter
• Published by Springer Nature
• p. 361-380
• https://doi.org/10.1007/3-540-55460-2_27

Abstract

Keywords

• CUT ELIMINATION
• CLASSICAL LOGIC
• ELIMINATION PROCEDURE
• NATURAL DEDUCTION
• FREE DEDUCTION
• COMPUTATION