Nuel Belnap
From Wikipedia, the free encyclopedia
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 taught at the University of Pittsburgh since 1961; before that he was at Yale University. His best known work is his collaboration with Alan Ross Anderson on relevance logic. He has also published books on the logic of questions and answers, with Thomas Steel, and the logic of agency, with Michael Perloff and Ming Xu. He has contributed to the foundations of two very distinct theories of truth: he was a co-author of "The Prosentential Theory of Truth" with Dorothy Grover and Joseph Camp, and of The Revision Theory of Truth with Anil Gupta (logician). Please see logical harmony, display logic, branching time and relevance logic for more detailed discussion of his contributions.
