Buridan's Theory of Logical Consequence Spencer C. Johnston Abstract: In this thesis we develop a proof-theoretic formalization for John Buridan’s theory of modal propositions. This thesis provides a complete exegesis of the second chapter of De Consequentia and develops the system G3_{syl} which we show is an adequate formalization of Buridan’s theory.