Francez, Nissim. 2017. “Does the Implication Elimination Rule Need a Minor Premise?”. Logic and Logical Philosophy 27 (3):351-73. https://doi.org/10.12775/LLP.2017.019.