Concepedia

Alasdair Urquhart

AU

41

Publications

2.6K

Citations

24

H-Index

1971

Active since

Affiliations

University of Toronto(Current)

Alasdair Urquhart is an author at University of Toronto specializing in automated reasoning, engineering, and formal methods.

Top concepts

Automated ReasoningEngineeringFormal MethodsComputer ScienceComputational ComplexitySemanticsLanguageProof ComplexityLinguisticsDiscrete Mathematics

Publications per year

1971–2011

41

Publications

41

Hard examples for resolution

Alasdair Urquhart · Journal of the ACM · 1987 · 446 citations · Full text

Super-resolution Imaging, Expander Graphs, High Resolution +14

Semantics for relevant logics

Alasdair Urquhart · Journal of Symbolic Logic · 1972 · 251 citations

Engineering, Relevant Logics Validity, Classical Logic +17

The Complexity of Propositional Proofs

Alasdair Urquhart · Bulletin of Symbolic Logic · 1995 · 223 citations

Propositional Proofs, Computational Complexity Theory, Engineering +13

The undecidability of entailment and relevant implication

Alasdair Urquhart · Journal of Symbolic Logic · 1984 · 152 citations

Engineering, Classical Logic, Defeasible Logic +16

A topological representation theory for lattices

Alasdair Urquhart · Algebra Universalis · 1978 · 151 citations

Lattice (Order), Representation Theory, Topological Algebra +2

Rows per page

1–5 of 41