Gaisi Takeuti
Affiliations: | Mathematics | University of Illinois, Urbana-Champaign, Urbana-Champaign, IL |
Website:
https://en.wikipedia.org/wiki/Gaisi_TakeutiGoogle:
"Gaisi Takeuti"Bio:
(1926 - 2017)
https://genealogy.math.ndsu.nodak.edu/id.php?id=42046
Parents
Sign in to add mentor| Shokichi Iyanaga | grad student | 1956 | University of Tokyo (MathTree) | |
| (On the fundamental conjecture of GLC) | ||||
| Kurt Gödel | post-doc | Princeton | ||
Children
Sign in to add trainee| John Penn Mayberry | grad student | University of Bristol | |
| Kenneth Alan Bowen | grad student | 1968 | UIUC (MathTree) |
BETA: Related publications
See more...
Publications
|
You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect. |
| Takeuti G. (1998) Frege proof system and TNC Journal of Symbolic Logic. 63: 709-738 |
| Takeuti G. (1995) Separations of theories in weak bounded arithmetic Annals of Pure and Applied Logic. 71: 47-67 |
| Clote P, Takeuti G. (1992) Bounded arithmetic for NC, ALogTIME, L and NL Annals of Pure and Applied Logic. 56: 73-117 |
| Takeuti G, Titani S. (1992) Fuzzy logic and fuzzy set theory Archive For Mathematical Logic. 32: 1-32 |
| Prawitz D, Takeuti G, Kreisel G, et al. (1991) Proof Theory.Proof Theory: Some Personal Recollections.Contributions of the Schutte School in Munich to Proof Theory.Subsystems of Z 2 and Reverse Mathematics.Proof Theory: A Personal Report Journal of Symbolic Logic. 56: 1094 |
| Krajíček J, Pudlák P, Takeuti G. (1991) Bounded arithmetic and the polynomial hierarchy Annals of Pure and Applied Logic. 52: 143-153 |
| Takeuti G. (1988) Bounded arithmetic and truth definition Annals of Pure and Applied Logic. 39: 75-104 |
| Takeuti G, Titani S. (1987) Globalization of intui tionistic set theory Annals of Pure and Applied Logic. 33: 195-211 |
| Takeuti G. (1985) Proof theory and set theory Synthese. 62: 255-263 |
| Takeuti G, Titani S. (1984) Intuitionistic fuzzy logic and intuitionistic fuzzy set theory Journal of Symbolic Logic. 49: 851-866 |