“Alasdair Urquhart”的意思、由来-开放百科全书

词条

Alasdair Urquhart

释义

Selected publications
References
External links

Alasdair Ian Fenton Urquhart ({{IPAc-en|ˈ|æ|l|ə|s|d|ər|_|ˈ|ɜr|k|ər|t}}; 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.

A native of Scotland,^[1] Urquhart received his MA in Philosophy from the University of Edinburgh in 1967, and his Ph.D. from the University of Pittsburgh in 1973 under the supervision of Alan Ross Anderson and Nuel Belnap.

Selected publications

Temporal Logic (joint author with Nicholas Rescher), 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. ^{{cite web|url=http://www.whockey.com/work/dcs/dcs/people/faculty/urquhart.html|title="Alasdair Urquhart was born in Scotland in 1945"|publisher=Department of Computer Science - University of Toronto|accessdate=2 April 2010}}

External links

Curriculum vitae (1998)
DBLP publications

{{Authority control}}{{DEFAULTSORT:Urquhart, Alasdair}}{{Scotland-academic-bio-stub}}{{UK-mathematician-stub}}{{UK-philosopher-stub}}

随便看

开放百科全书收录14589846条英语、德语、日语等多语种百科知识，基本涵盖了大多数领域的百科知识，是一部内容自由、开放的电子版国际百科全书。