On axiom systems of propositional calculi, VIII
Shôtarô Tanaka · Proceedings of the Japan Academy Series A Mathematical Sciences · 1965
In this note, we shall prove that the (R) axiom system 16 of propositional calculus implies Sobosifiski systems (S), (S) (for the notations and rules of inference, see 1).In the fifth note 2 of this series, K.