On a property of certain propositional formulae.
David Meredith · Notre Dame Journal of Formal Logic · 1973
In [l] section 4 Lukasiewicz gives a theorem concerning the law of syllogism.The present paper presents a much more general theorem from which the Lukasiewicz theorem can be derived.Sections 1 and 2 present our theorem; a brief discussion of its application and its relationship to the Lukasiewicz theorem is given in section 3.