Alan Rose - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 20 from 20

1987

A Formalisation, Using non-Standard Rules, of A 5-Valued Propositional CalculusAlan Rose. mlq, 33(2):187-192, 1987. [doi]

A Strongly Complete Formalisation of a 5-Valued Propositional CalculusAlan Rose. mlq, 33(3):243-244, 1987. [doi]

1986

A Relationship Between Ordinary Functional Completeness and a Generalisation of the ConceptAlan Rose. mlq, 32(19-24):323-330, 1986. [doi]

1984

A Generalisation of Slupecki's Criterion for Functional CompletenessBarbara J. Lowesmith, Alan Rose. mlq, 30(9-11):173-175, 1984. [doi]

M-Valued Sheffer FunctionsAlan Rose. mlq, 30(12):177-182, 1984. [doi]

1983

Scompleteness of Sets of Three-Valued Sheffer FunctionAlan Rose. mlq, 29(10):481-483, 1983. [doi]

1982

A Generalisation of the Concept of Functional Completeness and Applications to Modus PonensAlan Rose. mlq, 28(22-24):317-322, 1982. [doi]

1978

Formalisations of Further N::0::-Valued Lukasiewicz Propositional CalculiAlan Rose. JSYML, 43(2):207-210, 1978.

A Note on Formalisation by the Method of Description of Truth-TablesAlan Rose. mlq, 24(7):109-112, 1978. [doi]

A Three-Valued Model for Set TheoryAlan Rose. mlq, 24(25-30):437-440, 1978. [doi]

1977

Simplified formalizations of fragments of the propositional calculusAlan Rose. ndjfl, 18(2):255-261, 1977. [doi]

1976

Formalisations With Non-Standard Degrees of CompletenessAlan Rose. mlq, 22(1):177-186, 1976. [doi]

A Note on the Existence of Tautologies in Certain Propositional Calculi Without Propositional VariablesAlan Rose. mlq, 22(1):117-118, 1976. [doi]

1975

A note on the existence of tautologies without constantsAlan Rose. mlq, 21(1):141-144, 1975. [doi]

1962

Extensions of Some Theorems of Anderson and BelnapAlan Rose. JSYML, 27(4):423-425, 1962.

1960

An Extension of a Theorem of MargarisAlan Rose. JSYML, 25(3):209-211, 1960.

1953

The M-Valued Calculus of Non-ContradictionAlan Rose. JSYML, 18(3):237-241, 1953.

Conditioned Disjunction as a Primitive Connective for the Erweiterter AussagenkalkulAlan Rose. JSYML, 18(1):63-65, 1953.

1952

An Extension of Computational LogicAlan Rose. JSYML, 17(1):32-34, 1952.

1951

Strong Completeness of Fragments of the Propositional CalculusAlan Rose. JSYML, 16(3):204, 1951.

Sign in or sign up to see more results.

runs on WebDSL