Atwell R. Turquette

According to our database, Atwell R. Turquette authored at least 10 papers between 1945 and 1978.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

1978

Alternative Axioms for Peirce's Triadic Logic.

Atwell R. Turquette

Math. Log. Q., 1978

1976

Minimal Axioms for Peirce's Triadic Logic.

Atwell R. Turquette

Math. Log. Q., 1976

1969

Dualizable quasi-strokes for M-state automata.

Atwell R. Turquette

Inf. Sci., 1969

1963

Independent Axioms for Infinite-Valued Logic.

Atwell R. Turquette

J. Symb. Log., 1963

1958

Simplified Axioms for Many-Valued Quantification Theory.

Atwell R. Turquette

J. Symb. Log., 1958

1953

Fifteenth Meeting of the Association for Symbolic Logic.

Atwell R. Turquette

J. Symb. Log., 1953

1951

Axiom Schemes for M-Valued Functional Calculi of First Order: Part II. Deductive Completeness.

J. Barkley Rosser, Atwell R. Turquette

J. Symb. Log., 1951

1949

A Note on the Deductive Completeness of M-Valued Propositional Calculi.

J. Barkley Rosser, Atwell R. Turquette

J. Symb. Log., 1949

1948

Axiom Schemes for M-Valued Functional Calculi of First Order: Part I. Definition of Axiom Schemes and Proof of Plausibility.

J. Barkley Rosser, Atwell R. Turquette

J. Symb. Log., 1948

1945

Axiom Schemes for M-Valued Propositional Calculi.

J. Barkley Rosser, Atwell R. Turquette

J. Symb. Log., 1945