Alasdair Urquhart
Alasdair Urquhart
Professor Computer Science Emeritus, University of Toronto
Verified email at cs.toronto.edu
Title
Cited by
Cited by
Year
Entailment, Vol. II: The Logic of Relevance and Necessity
AR Anderson, ND Belnap Jr, JM Dunn
Princeton University Press, 2017
27592017
Temporal logic
N Rescher, A Urquhart
Springer Science & Business Media, 2012
8932012
Hard examples for resolution
A Urquhart
Journal of the ACM (JACM) 34 (1), 209-219, 1987
5221987
Many-valued logic
A Urquhart
Handbook of philosophical logic, 71-116, 1986
349*1986
The complexity of propositional proofs
A Urquhart
Bulletin of Symbolic Logic 1 (4), 425-467, 1995
2751995
Semantics for relevant logics
A Urquhart
Journal of Symbolic Logic, 159-169, 1972
2691972
Functional interpretations of feasibly constructive arithmetic
S Cook, A Urquhart
Annals of Pure and Applied Logic 63 (2), 103-200, 1993
2091993
A topological representation theory for lattices
A Urquhart
Algebra Universalis 8 (1), 45-58, 1978
1941978
The undecidability of entailment and relevant implication
A Urquhart
The Journal of Symbolic Logic 49 (4), 1059-1073, 1984
1691984
Distributive lattices with a dual homomorphic operation
A Urquhart
Studia Logica 38 (2), 201-209, 1979
1401979
Upper and lower bounds for tree-like cutting planes proofs
R Impagliazzo, T Pitassi, A Urquhart
Proceedings Ninth Annual IEEE Symposium on Logic in Computer Science, 220-228, 1994
831994
Topological logic
N Rescher
Topics in Philosophical Logic, 229-249, 1968
701968
Duality for algebras of relevant logics
A Urquhart
Studia Logica 56 (1-2), 263-276, 1996
631996
An exponential separation between regular and general resolution
M Alekhnovich, J Johannsen, T Pitassi, A Urquhart
Proceedings of the thiry-fourth annual ACM symposium on Theory of computing …, 2002
612002
The complexity of decision procedures in relevance logic II
A Urquhart
The Journal of Symbolic Logic 64 (4), 1774-1802, 1999
541999
The symmetry rule in propositional logic
A Urquhart
Discrete Applied Mathematics 96, 177-193, 1999
541999
An exponential separation between regular and general resolution
M Alekhnovich, J Johannsen, T Pitassi, A Urquhart
Theory of Computing 3 (1), 81-102, 2007
532007
Approximation and small-depth Frege proofs
S Bellantoni, T Pitassi, A Urquhart
SIAM Journal on Computing 21 (6), 1161-1179, 1992
511992
Decidability and the finite model property
A Urquhart
Journal of Philosophical Logic 10 (3), 367-370, 1981
511981
Synonymous logics
FJ Pelletier, A Urquhart
Journal of Philosophical Logic 32 (3), 259-285, 2003
432003
The system can't perform the operation now. Try again later.
Articles 1–20