Rubin, M. Logical Constants and Harmony of the Rules of Inference. RHV 2017, 103-119.