I went through old floppies when I went back home over the summer and found the first logic paper I ever wrote! It was on proof theory and general algebra (I guess I must have taken courses in both at the time–1992). For your amusement: A Paedagogical Example of Cut-Elimination
A paedagogical Example of Cut-Elimination![](https://i0.wp.com/richardzach.org/wp-content/uploads/2016/09/Screenshot-from-2016-09-26-19-27-01.png?fit=772%2C532&ssl=1)