Concepedia

Gaisi Takeuti

GT

Statistics

Publications

31

Citations

1.4K

H-Index

19

Active since

1953

Affiliations

University of Illinois Urbana-Champaign(Current)

University of Education, Winneba

University of Illinois System

University of Washington

Gaisi Takeuti is an author at University of Illinois Urbana-Champaign specializing in engineering, automated reasoning, and formal methods.

Top concepts

EngineeringAutomated ReasoningFormal MethodsDiscrete MathematicsComputer ScienceMathematical FoundationsFuzzy LogicProof ComplexityFormal VerificationComputational Complexity

Publications per year

1953–1992

31

Publications

31

Intuitionistic fuzzy logic and intuitionistic fuzzy set theory

Gaisi Takeuti, Satoko Titani · Journal of Symbolic Logic · 1984 · 274 citations

Intuitionistic Logic, Fuzzy Logic, Fuzzy Systems +11

Bounded arithmetic and the polynomial hierarchy

Jan Krajı́ček, Pavel Pudlák, Gaisi Takeuti · Annals of Pure and Applied Logic · 1991 · 174 citations

Polynomial Hierarchy, Computational Complexity, Time Complexity +3

On a generalized logic calculus

Gaisi Takeuti · Japanese journal of mathematics · 1953 · 93 citations · Full text

Engineering, Automated Reasoning, Generalized Logic Calculus +4

Globalization of intui tionistic set theory

Gaisi Takeuti, Satoko Titani · Annals of Pure and Applied Logic · 1987 · 90 citations

Foundation Of Mathematics, Abstract Object Theory, Model Theory

Consistency Proofs of Subsystems of Classical Analysis

Gaisi Takeuti · Annals of Mathematics · 1967 · 83 citations

Engineering, Automated Reasoning, Proof Complexity +5

1–5 of 31