Deduction theorems in significance logics.
Martin W. Bunder · Notre Dame Journal of Formal Logic · 1979
DEDUCTION THEOREMS IN SIGNIFICANCE LOGICSM. W. BUNDERIntroduction The deduction theorem for implication in sentential logic isa very useful aid in proving theorems, so as significance logics aregenerally fairly simple extensions of sentential logic, with perhaps somerestrictions on modus ponens and substitution, it is of interest to examinethe kinds of deduction theorems that can be proved for them. In this paperwe will consider the system C