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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Atwell R. Turquette