Alasdair Urquhart
Affiliations: | University of Toronto, Toronto, ON, Canada |
Area:
Logic, complexity theory, history of logic, philosophy of logicWebsite:
https://philosophy.utoronto.ca/directory/alasdair-urquhart/Google:
"Alasdair Ian Fenton Urquhart" OR "Alasdair Urquhart"Bio:
https://stanford.library.sydney.edu.au/archives/sum2004/subject-editors/urquhart.html
https://scholar.google.com/citations?user=kY9YvGcAAAAJ&hl=en
https://philpapers.org/archive/URQTSO.pdf ... My greatest debts are to my teacher, Professor Alan Ross Anderson and to my teacher and adviser, Professor Nuel D. Belnap, Jr. ...
Parents
Sign in to add mentor| Alan Ross Anderson | research assistant | 1973 | University of Pittsburgh (MathTree) | |
| Nuel D. Belnap | grad student | 1973 | University of Pittsburgh (MathTree) | |
| (The Semantics of Entailment) | ||||
BETA: Related publications
See more...
Publications
|
You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect. |
| Urquhart A. (2010) Von Neumann, Gödel and complexity theory The Bulletin of Symbolic Logic. 16: 516-530 |
| Čačić V, Pudlák P, Restall G, et al. (2010) Decorated linear order types and the theory of concatenation Logic Group Preprint Series. 258 |
| Urquhart A. (2010) Anderson and Belnap's invitation to sin Journal of Philosophical Logic. 39: 453-472 |
| Kremer P, Urquhart A. (2008) Supervaluation fixed-point logics of truth Journal of Philosophical Logic. 37: 407-440 |
| Pelletier FJ, Urquhart A. (2008) Synonymous logics: A correction Journal of Philosophical Logic. 37: 95-100 |
| Urquhart A. (2007) Shawn Hedman. A first course in logic: an introduction to model theory, proof theory, computability, and complexity . Oxford Texts in Logic 1. Oxford University Press, 2004, xx + 431 pp. The Bulletin of Symbolic Logic. 13: 538-540 |
| Urquhart A. (1999) The symmetry rule in prepositional logic Discrete Applied Mathematics. 96: 177-193 |
| Urquhart A. (1996) Duality for algebras of relevant logics Studia Logica. 56: 263-276 |
| Pitassi T, Urquhart A. (1995) The Complexity of the Hajos Calculus Siam Journal On Discrete Mathematics. 8: 464-483 |
| Cook S, Urquhart A. (1993) Functional interpretations of feasibly constructive arithmetic Annals of Pure and Applied Logic. 63: 103-200 |