Nuel Belnap

Nuel D. Belnap Jr. (born 1930) is a logician based at the University of Pittsburgh who has made many important contributions to the philosophy of logic, temporal logic, and structural proof theory. Please see logical harmony, display logic, branching time and relevance logic for more detailed discussion of his contributions.

External links