  This looks quite different from modern propositional logic where one takes a few tautologies, such as \(X \rightarrow(Y \rightarrow X)\), as axioms, and inference rules such as modus ponens to form a deductive system. 