Alan Rose. Systems of logic whose truth-values form lattices. Mathematische Annalen, vol. 123 (1951), pp. 152–165. - Alan Rose. A lattice-theoretic characterisation of the ℵ0-valued Propositional Calculus. Mathematische Annalen, vol. 123 (1951), pp. 285–287. - Alan Rose. The degree of completeness of some Łukasiewicz-Tarski propositional calculi. The journal of the London Mathematical Society, vol. 26 (1951), pp. 47–49.
A. R. Turquette · Journal of Symbolic Logic · 1952
Alan Rose. Systems of logic whose truth-values form lattices. Mathematische Annalen, vol. 123 (1951), pp. 152–165. - Alan Rose. A lattice-theoretic characterisation of the ℵ0-valued Propositional Calculus. Mathematische Annalen, vol. 123 (1951), pp. 285–287. - Alan Rose. The degree of completeness of some Łukasiewicz-Tarski propositional calculi. The journal of the London Mathematical Society, vol. 26 (1951), pp. 47–49. - Volume 17 Issue 2