 | 1969 |
|---|
| 8 |       | Atwell R. Turquette:
Dualizable quasi-strokes for M-state automata.
Inf. Sci. 1(2): 131-142 (1969) |
| 1963 |
|---|
| 7 |  | Atwell R. Turquette:
Independent Axioms for Infinite-Valued Logic.
J. Symb. Log. 28(3): 217-221 (1963) |
| 1958 |
|---|
| 6 | | Atwell R. Turquette:
Simplified Axioms for Many-Valued Quantification Theory.
J. Symb. Log. 23(2): 139-148 (1958) |
| 1953 |
|---|
| 5 | | Atwell R. Turquette:
Fifteenth Meeting of the Association for Symbolic Logic.
J. Symb. Log. 18(2): 187-192 (1953) |
| 1951 |
|---|
| 4 | | 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): 22-34 (1951) |
| 1949 |
|---|
| 3 | | J. Barkley Rosser,
Atwell R. Turquette:
A Note on the Deductive Completeness of M-Valued Propositional Calculi.
J. Symb. Log. 14(4): 219-225 (1949) |
| 1948 |
|---|
| 2 | | 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): 177-192 (1948) |
| 1945 |
|---|
| 1 | | J. Barkley Rosser,
Atwell R. Turquette:
Axiom Schemes for M-Valued Propositional Calculi.
J. Symb. Log. 10(3): 61-82 (1945) |
