The following pages link to Atwell R. Turquette (Q1167712):
Displaying 16 items.
- Quantification for Peirce's preferred system of triadic logic (Q1167713) (← links)
- Simplified axioms for many-valued quantification theory (Q3256307) (← links)
- Solution to a Problem of Rose and Rosser (Q3291522) (← links)
- A General Theory of k-Place Stroke Functions in 2-Valued Logic (Q3845368) (← links)
- Minimal Axioms for Peirce's Triadic Logic (Q4097252) (← links)
- Alternative Axioms for Peirce's Triadic Logic (Q4168909) (← links)
- Independent Axioms for Infinite-Valued Logic (Q5335310) (← links)
- A Method for Constructing Implication Logics (Q5525336) (← links)
- Generalizable Kleene Logics (Q5572300) (← links)
- Generalized Modal Sets (Q5656746) (← links)
- (Q5731772) (← links)
- Axiom schemes for <i>m</i>-valued functional calculi of first order. Part I. Definition of axiom schemes and proof of plausibility (Q5792478) (← links)
- A note on the deductive completeness of <i>m</i>-valued propositional calculi (Q5793825) (← links)
- Axiom schemes for <i>m</i>-valued functional calculi of first order. Part II (Q5804176) (← links)
- (Q5812189) (← links)
- Axiom schemes for <i>m</i>-valued propositions calculi (Q5845641) (← links)
