Nuel Belnap

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 until his retirement in 2011; 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. He is also co-author with Ming Xu and Michel Perloff of Facing the Future. He was elected a Fellow of the American Academy of Arts and Sciences in 2008.

See also

• Logical harmony
• Display logic
• Relevance logic