Axiom Schemes for M-Valued Propositional Calculi. - J. Barkley Rosser; Atwell R. Turquette (J. Symb. Log., 1945)

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)

A Note on the Deductive Completeness of M-Valued Propositional Calculi. - J. Barkley Rosser; Atwell R. Turquette (J. Symb. Log., 1949)

Axiom Schemes for M-Valued Functional Calculi of First Order: Part II. Deductive Completeness. - J. Barkley Rosser; Atwell R. Turquette (J. Symb. Log., 1951)

Fifteenth Meeting of the Association for Symbolic Logic. - Atwell R. Turquette (J. Symb. Log., 1953)

Simplified Axioms for Many-Valued Quantification Theory. - Atwell R. Turquette (J. Symb. Log., 1958)

Independent Axioms for Infinite-Valued Logic. - Atwell R. Turquette (J. Symb. Log., 1963)

Dualizable quasi-strokes for M-state automata. - Atwell R. Turquette (Inf. Sci., 1969)

Minimal Axioms for Peirce's Triadic Logic. - Atwell R. Turquette (Math. Log. Q., 1976)

Alternative Axioms for Peirce's Triadic Logic. - Atwell R. Turquette (Math. Log. Q., 1978)