Title: Three-valued logic and cut-elimination, the actual meaning of Takeuti's conjecture
Subjects: Symbolic and mathematical Logic, Metamathematics, Type theory, Many-valued logic, Predicate calculus