H. P. Grice on Takeuti's conjecture: “And what should be said of Takeuti’s conjecture (roughly) that the nature of the introduction rule determines the character of the elimination rule?”

H. P. Grice on Takeuti's conjecture

H. P. Grice:

“And what should be said of Takeuti’s conjecture (roughly) that the nature of the introduction rule determines the character of the elimination rule?”