A Formalisation of Post's m-valued Propositional Calculus. Alan Rose — 1952 Mathematische Zeitschrift
The degree of completeness of a partial system of the2-valued Propositional Calculus. Alan Rose — 1951 Mathematische Zeitschrift
On the use of a complex (Quaternion) velocity potential in three dimensions. Alan Rose — 1950 Commentarii mathematici Helvetici
Binary generators for the m -valued and ℵ 0 -valued Lukasiewicz propositional calculi Alan Rose — 1968 Compositio Mathematica