My First Paper!

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

[pdf-embedder url=”http://richardzach.org/files/2016/09/cutel.pdf” title=”A paedagogical Example of Cut-Elimination”]