A note on the independence of premiss rule

Hajime Ishihara, Takako Nemoto. A note on the independence of premiss rule. Math. Log. Q., 62(1-2):72-76, 2016. [doi]

Abstract

Abstract is missing.