Speaker
Will Stafford
Kansas State University
Talks at this conference:
Friday, 17:45, J335 
Prooftheoretic validity for sequents 
Keywords: prooftheoretic validity, classical logic, sequent calculus Prooftheoretic validity offers a nonreferential semantics for certain logics. Currently it has been developed for intuitionistic logic (e.g. [2]; [4]), certain intermediate logics (e.g. [3]; [5], and certain substructural logics (e.g. [1]). This has been done by using a natural deduction calculus. However, there are many logics that are more naturally represented in the sequence calculus, including, for the purposes of prooftheoretic validity, classical logic. This paper develops the beginnings of a notion of prooftheoretic validity for the sequent calculus and applies it to classical logic to show that in this setting the left rules for classical logic are valid given the right rules. We then address certain philosophical questions about this move including how we should interpret the sequence and whether this is a form of bilateralism. Bibliography
