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.