On the equivalence of strong and weak validity of rule schemes in the two-valued propositional calculus

Rangaswamy V. Setlur. On the equivalence of strong and weak validity of rule schemes in the two-valued propositional calculus. Notre Dame Journal of Formal Logic, 11(2):249-253, 1970. [doi]

Abstract

Abstract is missing.