We stand with Ukraine  

Alan Rose

According to our database1, Alan Rose authored at least 20 papers between 1951 and 1987.

Collaborative distances:
  • no known Dijkstra number2.
  • no known Erdős number3.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

1987
A Strongly Complete Formalisation of a 5-Valued Propositional Calculus.
[BibTeX]
[DOI]
Alan Rose
Math. Log. Q., 1987

A Formalisation, Using non-Standard Rules, of A 5-Valued Propositional Calculus.
[BibTeX]
[DOI]
Alan Rose
Math. Log. Q., 1987

1986
A Relationship Between Ordinary Functional Completeness and a Generalisation of the Concept.
[BibTeX]
[DOI]
Alan Rose
Math. Log. Q., 1986

1984
Generalised Functional Completeness of Sets of <i>M</i>-Valued Sheffer Functions.
[BibTeX]
[DOI]
Alan Rose
Math. Log. Q., 1984

A Generalisation of Slupecki's Criterion for Functional Completeness.
[BibTeX]
[DOI]
Barbara J. Lowesmith
,
Alan Rose
Math. Log. Q., 1984

1983
Scompleteness of Sets of Three-Valued Sheffer Function.
[BibTeX]
[DOI]
Alan Rose
Math. Log. Q., 1983

1982
A Generalisation of the Concept of Functional Completeness and Applications to Modus Ponens.
[BibTeX]
[DOI]
Alan Rose
Math. Log. Q., 1982

1978
A Three-Valued Model for Set Theory.
[BibTeX]
[DOI]
Alan Rose
Math. Log. Q., 1978

A Note on Formalisation by the Method of Description of Truth-Tables.
[BibTeX]
[DOI]
Alan Rose
Math. Log. Q., 1978

Formalisations of Further N<sub>0</sub>-Valued Lukasiewicz Propositional Calculi.
[BibTeX]
[DOI]
Alan Rose
J. Symb. Log., 1978

1977
Simplified formalizations of fragments of the propositional calculus.
[BibTeX]
[DOI]
Alan Rose
Notre Dame J. Formal Log., 1977

1976
Formalisations With Non-Standard Degrees of Completeness.
[BibTeX]
[DOI]
Alan Rose
Math. Log. Q., 1976

A Note on the Existence of Tautologies in Certain Propositional Calculi Without Propositional Variables.
[BibTeX]
[DOI]
Alan Rose
Math. Log. Q., 1976

1975
A note on the existence of tautologies without constants.
[BibTeX]
[DOI]
Alan Rose
Math. Log. Q., 1975

1962
Extensions of Some Theorems of Anderson and Belnap.
[BibTeX]
[DOI]
Alan Rose
J. Symb. Log., 1962

1960
An Extension of a Theorem of Margaris.
[BibTeX]
[DOI]
Alan Rose
J. Symb. Log., 1960

1953
The M-Valued Calculus of Non-Contradiction.
[BibTeX]
[DOI]
Alan Rose
J. Symb. Log., 1953

Conditioned Disjunction as a Primitive Connective for the Erweiterter Aussagenkalkul.
[BibTeX]
[DOI]
Alan Rose
J. Symb. Log., 1953

1952
An Extension of Computational Logic.
[BibTeX]
[DOI]
Alan Rose
J. Symb. Log., 1952

1951
Strong Completeness of Fragments of the Propositional Calculus.
[BibTeX]
[DOI]
Alan Rose
J. Symb. Log., 1951


  Loading...