[1]
M. Rubin, “Logical Constants and Harmony of the Rules of Inference”, RHV, no. 9, pp. 103–119, Jul. 2017.