The following pages link to Atwell R. Turquette (Q1167712):
Displaying 5 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 Method for Constructing Implication Logics (Q5525336) (← links)
- Generalized Modal Sets (Q5656746) (← links)
