J. Y. Girard

• Three-valued logic and cut-elimination
• Three-valued logic and cut-elimination, the actual meaning of Takeuti's conjecture