## A system of $$\lambda\mu$$-calculus proper to the implicational fragment of classical natural deduction with one conclusion.(English)Zbl 0925.03097

### MSC:

 03B40 Combinatory logic and lambda calculus 03F05 Cut-elimination and normal-form theorems