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

A paedagogical Example of Cut-Elimination

Leave a Reply

Your email address will not be published. Required fields are marked *