What is a Deductive System?
Joachim Lambek · 1994
Abstract We discuss various styles of presnting deductive systems, with and without structural rules, paying some attention to equality between deductions. A deductive system should deal with (a) formulas, (b) deductions, alias proofs, (c) equality between deductions.