Author

A. Urquhart

Professor Computer Science Emeritus, University of Toronto - Cited by 5,472 - Logic - complexity theory - history of logic - philosophy of logic

Biography

A. Urquhart is currently Lecturer of Strathclyde Institute of Pharmacy and Biomedical Sciences, University of Strathclyde, The john Arbuthnott Building, Glasgow, G4 0NR, Scotland. She has published many articles in his career.His research interests reflect in his wide range of publications in various national and international journals.
Title
Cited by
Year
Temporal logic
N Rescher, A UrquhartSpringer Science & Business Media, 2012201
1022
2012
The depth of resolution proofs
A UrquhartStudia Logica 99, 9-364, 2011201
34
2011
Emil Post.
A UrquhartLogic from Russell to Church 5, 617-666, 2009200
32
2009
A near-optimal separation of regular and general resolution
A UrquhartSIAM Journal on Computing 40 (1), 107-121, 2011201
28
2011
Russell and gödel
A UrquhartBulletin of Symbolic Logic 22 (4), 504-520, 2016201
12
2016
Von Neumann, Gödel and complexity theory
A UrquhartBulletin of Symbolic Logic 16 (4), 516-530, 2010201
12
2010
Failure of interpolation in constant domain intuitionistic logic
G Mints, G Olkhovikov, A UrquhartThe Journal of Symbolic Logic 78 (3), 937-950, 2013201
11
2013
The geometry of relevant implication
A UrquhartProceedings of the third workshop, 591-604, 2016201
10
2016
Width and size of regular resolution proofs
A UrquhartLogical Methods in Computer Science 8, 2012201
9
2012
Henry M. Sheffer and notational relativity
A UrquhartHistory and Philosophy of Logic 33 (1), 33-47, 2012201
9
2012
Algorithms and complexity results for input and unit resolution
A Hertel, A UrquhartJournal on Satisfiability, Boolean Modeling and Computation 6 (1-3), 141-164, 2010201
8
2010
Relevance logic: Problems open and closed
A UrquhartThe Australasian Journal of Logic 13 (1), 2016201
7
2016
Anderson and Belnap’s invitation to sin
A UrquhartJournal of philosophical logic 39 (4), 453-42, 2010201
7
2010
First degree formulas in quantified S5
A UrquhartThe Australasian Journal of Logic 12 (5), 2015201
6
2015
Mathematical depth
A UrquhartPhilosophia Mathematica 23 (2), 233-241, 2015201
6
2015
Principia Mathematica: The First 100 Years
A UrquhartThe Palgrave Centenary Companion to Principia Mathematica, 3-20, 2013201
6
2013
Comments on ECCC Report TR06-133: The Resolution Width Problem is EXPTIME-Complete.
Comments on ECCC Report TR0-133: The Resolution Width Problem is EXPTIME-Complete.A Hertel, A UrquhartElectron. Colloquium Comput. Complex. 1, 3, 2009200
6
2009
The Story of
A UrquhartJ. Michael Dunn on information based logics, 93-10, 2016201
5
2016
Logic and denotation
A UrquhartRussell vs. Meinong: The legacy of “On denoting, 2008200
4
2008
Relevant implication and ordered geometry
A UrquhartThe Australasian Journal of Logic 16 (8), 32-35, 2019201
4
2019

Referred From: https://scholar.google.com/citations?user=kY9YvGcAAAAJ&hl=en

Cited by
Citations 5472
h-index 31
i10-index 66
Open Access Journals