TV Shows

Games

Movies

Books

Explore

Status

Rate

List

Check Later

Author

J. Y. Girard

Subjects

Type Theory Symbolic And Mathematical Logic Predicate Calculus Metamathematics Many-Valued Logic

-

/ 5

votes

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