Alasdair Urquhart
Alasdair Urquhart
MA (Edinburgh), PhD (Pittsburgh)
Emeritus Professor
Research interests: logic, computational complexity theory, history of logic, non-classical logics. Major publications: "The undecidability of entailment and relevant implication" (J. Sym. 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" (J. Symbolic Logic, 1999).
Click here for Alasdair Urquhart's curriculum vitae
| Primary office Address: 170 St. George St., 4th Floor, Rm.429 Tel: 416-978-6789 Fax: 416-978-8703 |
Secondary office Address: Rm. 2303A Sanford Fleming, University of Toronto Tel: 416-949-8477 |
