All Stories

  1. Rule-Irredundancy and the Sequent Calculus for Core Logic

    Article • Notre Dame Journal of Formal Logic, January 2016, Duke University Press

    Professor Neil W Tennant