Atwell R. Turquette

Publication Activity (10 Years)

Years Active: 1945-1978
Publications (10 Years): 0

Publications

Atwell R. Turquette
Alternative Axioms for Peirce's Triadic Logic. Math. Log. Q. 24 (25-30) (1978)
Atwell R. Turquette
Minimal Axioms for Peirce's Triadic Logic. Math. Log. Q. 22 (1) (1976)
Atwell R. Turquette
Dualizable quasi-strokes for M-state automata. Inf. Sci. 1 (2) (1969)
Atwell R. Turquette
Independent Axioms for Infinite-Valued Logic. J. Symb. Log. 28 (3) (1963)
Atwell R. Turquette
Simplified Axioms for Many-Valued Quantification Theory. J. Symb. Log. 23 (2) (1958)
Atwell R. Turquette
Fifteenth Meeting of the Association for Symbolic Logic. J. Symb. Log. 18 (2) (1953)
J. Barkley Rosser, Atwell R. Turquette
Axiom Schemes for M-Valued Functional Calculi of First Order: Part II. Deductive Completeness. J. Symb. Log. 16 (1) (1951)
J. Barkley Rosser, Atwell R. Turquette
A Note on the Deductive Completeness of M-Valued Propositional Calculi. J. Symb. Log. 14 (4) (1949)
J. Barkley Rosser, Atwell R. Turquette
Axiom Schemes for M-Valued Functional Calculi of First Order: Part I. Definition of Axiom Schemes and Proof of Plausibility. J. Symb. Log. 13 (4) (1948)
J. Barkley Rosser, Atwell R. Turquette
Axiom Schemes for M-Valued Propositional Calculi. J. Symb. Log. 10 (3) (1945)