Nuel Belnap | |
|---|---|
| Born | Nuel Dinsmore Belnap Jr. May 1, 1930 |
| Died | June 12, 2024 (aged 94) |
| Education | University of Illinois Yale University (PhD, 1960)[citation needed] |
| Era | Contemporary philosophy |
| Region | Western philosophy |
| School | Analytic |
| Institutions | University of Pittsburgh |
| Thesis | The Formalization of Entailment (1960) |
| Doctoral advisor | Alan Ross Anderson |
| Doctoral students | Ruth Manor |
Main interests | Philosophical logic, temporal logic, structural proof theory |
Notable ideas | Display logic |
Nuel Dinsmore Belnap Jr. (/ˈbɛlnæp/; May 1, 1930 – June 12, 2024) was 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.