Title: What Is a Logical System? Studies in Logic and Computation