Nuel Belnap
Nuel Dinsmore Belnap Jr. (/ˈbɛlnæp/; born 1930) 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.
Nuel Belnap | |
|---|---|
| Born | 1930 (age 93–94) |
| Education | University of Illinois Yale University (PhD, 1960) |
| Era | Contemporary philosophy |
| Region | Western philosophy |
| School | Analytic |
| Institutions | University of Pittsburgh |
| Thesis | The Formalization of Entailment (1960) |
| Doctoral advisor | Alan Ross Anderson |
Main interests | Philosophical logic, temporal logic, structural proof theory |
Notable ideas | Display logic |
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.