Atwell R. Turquette

Available identifiers

zbMath Open turquette.atwell-rMaRDI QIDQ1167712

List of research outcomes

Publication	Date of Publication	Type
Quantification for Peirce's preferred system of triadic logic	1981-01-01	Paper
Alternative Axioms for Peirce's Triadic Logic	1978-01-01	Paper
Minimal Axioms for Peirce's Triadic Logic	1976-01-01	Paper
Generalized Modal Sets	1972-01-01	Paper
Generalizable Kleene Logics	1969-01-01	Paper
A Method for Constructing Implication Logics	1966-01-01	Paper
Independent Axioms for Infinite-Valued Logic	1964-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5731772	1963-01-01	Paper
A General Theory of k-Place Stroke Functions in 2-Valued Logic	1962-01-01	Paper
Solution to a Problem of Rose and Rosser	1961-01-01	Paper
Simplified axioms for many-valued quantification theory	1959-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5812189	1952-01-01	Paper
Axiom schemes for m-valued functional calculi of first order. Part II	1951-01-01	Paper
A note on the deductive completeness of m-valued propositional calculi	1950-01-01	Paper
Axiom schemes for m-valued functional calculi of first order. Part I. Definition of axiom schemes and proof of plausibility	1948-01-01	Paper
Axiom schemes for m-valued propositions calculi	1945-01-01	Paper

Research outcomes over time

This page was built for person: Atwell R. Turquette