Alan Rose

20 papers Journal 20

Year	Rank	Type	Title / Venue / Authors
1987	J	`jnl`	A Formalisation, Using non-Standard Rules, of A 5-Valued Propositional Calculus. Math. Log. Q. Alan Rose
1987	J	`jnl`	A Strongly Complete Formalisation of a 5-Valued Propositional Calculus. Math. Log. Q. Alan Rose
1986	J	`jnl`	A Relationship Between Ordinary Functional Completeness and a Generalisation of the Concept. Math. Log. Q. Alan Rose
1984	J	`jnl`	A Generalisation of Slupecki's Criterion for Functional Completeness. Math. Log. Q. Barbara J. Lowesmith, Alan Rose
1984	J	`jnl`	Generalised Functional Completeness of Sets of Math. Log. Q. Alan Rose
1983	J	`jnl`	Scompleteness of Sets of Three-Valued Sheffer Function. Math. Log. Q. Alan Rose
1982	J	`jnl`	A Generalisation of the Concept of Functional Completeness and Applications to Modus Ponens. Math. Log. Q. Alan Rose
1978	J	`jnl`	A Note on Formalisation by the Method of Description of Truth-Tables. Math. Log. Q. Alan Rose
1978	J	`jnl`	A Three-Valued Model for Set Theory. Math. Log. Q. Alan Rose
1978	J	`jnl`	Formalisations of Further N J. Symb. Log. Alan Rose
1977	J	`jnl`	Simplified formalizations of fragments of the propositional calculus. Notre Dame J. Formal Log. Alan Rose
1976	J	`jnl`	A Note on the Existence of Tautologies in Certain Propositional Calculi Without Propositional Variables. Math. Log. Q. Alan Rose
1976	J	`jnl`	Formalisations With Non-Standard Degrees of Completeness. Math. Log. Q. Alan Rose
1975	J	`jnl`	A note on the existence of tautologies without constants. Math. Log. Q. Alan Rose
1962	J	`jnl`	Extensions of Some Theorems of Anderson and Belnap. J. Symb. Log. Alan Rose
1960	J	`jnl`	An Extension of a Theorem of Margaris. J. Symb. Log. Alan Rose
1953	J	`jnl`	Conditioned Disjunction as a Primitive Connective for the Erweiterter Aussagenkalkul. J. Symb. Log. Alan Rose
1953	J	`jnl`	The M-Valued Calculus of Non-Contradiction. J. Symb. Log. Alan Rose
1952	J	`jnl`	An Extension of Computational Logic. J. Symb. Log. Alan Rose
1951	J	`jnl`	Strong Completeness of Fragments of the Propositional Calculus. J. Symb. Log. Alan Rose