| |
| 1978 | ||
|---|---|---|
| 7 | Alan Rose: Formalisations of Further N0-Valued Lukasiewicz Propositional Calculi. J. Symb. Log. 43(2): 207-210 (1978) | |
| 1962 | ||
| 6 | Alan Rose: Extensions of Some Theorems of Anderson and Belnap. J. Symb. Log. 27(4): 423-425 (1962) | |
| 1960 | ||
| 5 | Alan Rose: An Extension of a Theorem of Margaris. J. Symb. Log. 25(3): 209-211 (1960) | |
| 1953 | ||
| 4 | Alan Rose: Conditioned Disjunction as a Primitive Connective for the Erweiterter Aussagenkalkul. J. Symb. Log. 18(1): 63-65 (1953) | |
| 3 | Alan Rose: The M-Valued Calculus of Non-Contradiction. J. Symb. Log. 18(3): 237-241 (1953) | |
| 1952 | ||
| 2 | Alan Rose: An Extension of Computational Logic. J. Symb. Log. 17(1): 32-34 (1952) | |
| 1951 | ||
| 1 | Alan Rose: Strong Completeness of Fragments of the Propositional Calculus. J. Symb. Log. 16(3): 204 (1951) | |