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 25 January 2026]. DOI 10.12775/LLP.2017.019.