Gaisi Takeuti

Publication Activity (10 Years)

Years Active: 1965-2000
Publications (10 Years): 0

Publications

Gaisi Takeuti
Gödel Sentences of Bounded Arithmetic. J. Symb. Log. 65 (3) (2000)
Gaisi Takeuti, Masahiro Yasumoto
Forcing on Bounded Arithmetic II. J. Symb. Log. 63 (3) (1998)
Gaisi Takeuti
Frege Proof System and TNCdegree. J. Symb. Log. 63 (2) (1998)
Gaisi Takeuti
and TLS. Arch. Math. Log. 33 (6) (1995)
Gaisi Takeuti
Separations of Theories in Weak Bounded Arithmetic. Ann. Pure Appl. Log. 71 (1) (1995)
Gaisi Takeuti
Frege Proof System and TNC°. LCC (1994)
Gaisi Takeuti
. J. Symb. Log. 59 (4) (1994)
Gaisi Takeuti
The Critical Number of a Variable in a Function. J. Symb. Log. 59 (4) (1994)
Gaisi Takeuti, Satoko Titani
Fuzzy logic and fuzzy set theory. Arch. Math. Log. 32 (1) (1992)
Jan Krajícek, Gaisi Takeuti
On Induction-Free Provability. Ann. Math. Artif. Intell. 6 (1-3) (1992)
Peter Clote, Gaisi Takeuti
Bounded Arithmetic for NC, ALogTIME, L and NL. Ann. Pure Appl. Log. 56 (1-3) (1992)
Jan Krajícek, Pavel Pudlák, Gaisi Takeuti
Bounded Arithmetic and the Polynomial Hierarchy. Ann. Pure Appl. Log. 52 (1-2) (1991)
Gaisi Takeuti
. J. Symb. Log. 56 (3) (1991)
Gaisi Takeuti
(BD). Arch. Math. Log. 29 (3) (1990)
Gaisi Takeuti
Boolean Simple Groups and Boolean Simple Rings. J. Symb. Log. 53 (1) (1988)
Gaisi Takeuti
Bounded arithmetic and truth definition. Ann. Pure Appl. Log. 39 (1) (1988)
Gaisi Takeuti, Satoko Titani
Globalization of intui tionistic set theory. Ann. Pure Appl. Log. 33 (1987)
Peter Clote, Gaisi Takeuti
Exponential Time and Bounded Arithmetic. Computational Complexity Conference (1986)
Gaisi Takeuti, Satoko Titani
Global intuitionistic analysis. Ann. Pure Appl. Log. 31 (1986)
Gaisi Takeuti, Satoko Titani
Intuitionistic Fuzzy Logic and Intuitionistic Fuzzy Set Theory. J. Symb. Log. 49 (3) (1984)
Gaisi Takeuti
A Transfer Principle in Harmonic Analysis. J. Symb. Log. 44 (3) (1979)
Carl G. Jockusch Jr., Robert I. Soare, William W. Tait, Gaisi Takeuti
Meeting of the Association for Symbolic Logic: Chicago, 1977. J. Symb. Log. 43 (3) (1978)
Shoji Maehara, Gaisi Takeuti
Predicate Calculus. J. Symb. Log. 36 (2) (1971)
Gaisi Takeuti
Meetings of the Association for Symbolic Logic. J. Symb. Log. 36 (2) (1971)
Gaisi Takeuti
Transcendence of Cardinals. J. Symb. Log. 30 (1) (1965)
Gaisi Takeuti
A Formalization of the Theory of Ordinal Numbers. J. Symb. Log. 30 (3) (1965)