Alasdair Urquhart

Alasdair Ian Fenton Urquhart (/ˈæləsdər ˈɜːrkərt/; born 20 December 1945) is an emeritus Professor of Philosophy at the University of Toronto. He has made contributions to the field of logic, especially non-classical logic. One of his ideas is proving the undecidability of the relevance logic R. He also published papers in theoretical computer science venues, mostly on mathematical logic topics of relevance to computer science.

Not to be confused with Alistair Urquhart.

Alasdair Urquhart at the Association for Symbolic Logic, Pittsburgh, May 2004

A native of Scotland,[1] Urquhart received his MA in Philosophy from the University of Edinburgh in 1967, and his PhD from the University of Pittsburgh in 1973 under the supervision of Alan Ross Anderson and Nuel Belnap. He is currently on the Council of the Division for Logic, Methodology and Philosophy of Science and Technology of the International Union of History and Philosophy of Science and Technology (2020–2023).[2]

Selected publications
  • with Nicholas Rescher, Temporal Logic, Springer Verlag New York and Vienna, 1971
  • "The Undecidability of Entailment and Relevant Implication." Journal of Symbolic Logic 49(4): 1059–1073 (1984).
  • with Stephen A. Cook, "Functional Interpretations of Feasibly constructive Arithmetic", Annals of Pure and Applied Logic, 1993; preliminary version at STOC'89
  • "The Complexity of Decision Procedures in Relevance Logic II", Journal of Symbolic Logic, Volume 64, Issue 4 (1999), 1774–1802.

References
  1. "Alasdair Urquhart was born in Scotland in 1945". Department of Computer Science - University of Toronto. Retrieved 2 April 2010.
  2. "DLMPST Website: Council 2020-2023". Retrieved 16 April 2020.


This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.