Notre Dame Journal Of Formal Logic