Alasdair Urquhart
Position:
Emeritus Professor
Campus:
St. George,Email Address:
Phone Number:
416-978-3311
Biography:
- MA, University of Edinburgh
- PhD, University of Pittsburgh
Research Interests:
Computer Science, Logic
Publications:
- “The undecidability of entailment and relevant implication” (Journal of Symbolic Logic, 1984)
- “Functional Interpretations of Feasibly constructive Arithmetic”, co-authored with S.A. Cook (Annals of Pure and Applied Logic, 1993)
- “The Complexity of Decision Procedures in Relevance Logic 11” (Journal of Symbolic Logic, 1999)
Address:
Jackman Humanities Building (room 527), 170 St. George Street, Toronto, ON M5R 2M8