FRANCEZ, Nissim. Does the Implication Elimination Rule Need a Minor Premise?. Logic and Logical Philosophy. Online. 21 July 2017. Vol. 27, no. 3, pp. 351-373. [Accessed 6 July 2025]. DOI 10.12775/LLP.2017.019.