Alan Rose Strong Completeness of Fragments of the Propositional Calculus. [Citation Graph (0, 0)][DBLP] J. Symb. Log., 1951, v:16, n:3, pp:204- [Journal]

Alan Rose Conditioned Disjunction as a Primitive Connective for the Erweiterter Aussagenkalkul. [Citation Graph (0, 0)][DBLP] J. Symb. Log., 1953, v:18, n:1, pp:63-65 [Journal]

Alan Rose The M-Valued Calculus of Non-Contradiction. [Citation Graph (0, 0)][DBLP] J. Symb. Log., 1953, v:18, n:3, pp:237-241 [Journal]

Alan Rose Extensions of Some Theorems of Anderson and Belnap. [Citation Graph (0, 0)][DBLP] J. Symb. Log., 1962, v:27, n:4, pp:423-425 [Journal]

Alan Rose Formalisations of Further N_{0}-Valued Lukasiewicz Propositional Calculi. [Citation Graph (0, 0)][DBLP] J. Symb. Log., 1978, v:43, n:2, pp:207-210 [Journal]

Search in 0.002secs, Finished in 0.003secs

NOTICE1

System may not be available sometimes or not working properly, since it is still in development with continuous upgrades

NOTICE2

The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP