Girard, J. Y. Three-valued logic and cut-elimination: The actual meaning of Takeuti’s conjecture. (English) Zbl 0357.02027 Diss. Math. 136, 45 P. (1976). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 5 ReviewsCited in 17 Documents MSC: 03F99 Proof theory and constructive mathematics 03B50 Many-valued logic PDF BibTeX XML