Nuel Belnap

About

Nuel Dinsmore Belnap Jr. is an American logician and philosopher who has made contributions to the philosophy of logic, temporal logic, and structural proof theory. He taught at the University of Pittsburgh from 1963 until his retirement in 2011.