Nuel Belnap
Nuel D. Belnap, Jr. (born 1930) is an American logician and philosopher who has made many important contributions to the philosophy of logic, temporal logic, and structural proof theory. He has taugh...