 | 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) |
