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