Theorem loowoz

An alternate for the Linearity Axiom of the infinite-valued sentential logic (L-infinity) of Lukasiewicz loolin, due to Barbara Wozniakowska, Reports on Mathematical Logic 10, 129-137 (1978). (Contributed by Mel L. O'Cat, 8-Aug-2004.)

Conclusion
\( \vdash ((\varphi \rightarrow \psi) \rightarrow \varphi \rightarrow \chi) \rightarrow (\psi \rightarrow \varphi) \rightarrow \psi \rightarrow \chi \)
Proof
jarr
a2d _