Friday, March 27, 2020

Grice and Takeuti

Image may contain: possible text that says '"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.'

No comments:

Post a Comment