Alasdair Urquhart
Alasdair Urquhart
Professor Computer Science Emeritus, University of Toronto
Bestätigte E-Mail-Adresse bei cs.toronto.edu
Titel
Zitiert von
Zitiert von
Jahr
Entailment, Vol. II: The logic of relevance and necessity
AR Anderson, ND Belnap Jr, JM Dunn
Princeton University Press, 2017
28242017
Temporal logic
N Rescher, A Urquhart
Springer Science & Business Media, 2012
9142012
Hard examples for resolution
A Urquhart
Journal of the ACM (JACM) 34 (1), 209-219, 1987
5421987
Many-valued logic
A Urquhart
Handbook of philosophical logic, 71-116, 1986
365*1986
The complexity of propositional proofs
A Urquhart
The bulletin of symbolic logic 1 (4), 425-467, 1995
2861995
Semantics for relevant logics
A Urquhart
Journal of Symbolic Logic, 159-169, 1972
2821972
Functional interpretations of feasibly constructive arithmetic
S Cook, A Urquhart
Annals of pure and applied logic 63 (2), 103-200, 1993
2121993
A topological representation theory for lattices
A Urquhart
Algebra Universalis 8 (1), 45-58, 1978
2001978
The undecidability of entailment and relevant implication
A Urquhart
The Journal of Symbolic Logic 49 (4), 1059-1073, 1984
1761984
Distributive lattices with a dual homomorphic operation
A Urquhart
Studia Logica 38 (2), 201-209, 1979
1411979
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
721968
Duality for algebras of relevant logics
A Urquhart
Studia Logica 56 (1), 263-276, 1996
661996
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
592002
The complexity of decision procedures in relevance logic II
A Urquhart
The Journal of Symbolic Logic 64 (4), 1774-1802, 1999
591999
The symmetry rule in propositional logic
A Urquhart
Discrete Applied Mathematics 96, 177-193, 1999
581999
An exponential separation between regular and general resolution
M Alekhnovich, J Johannsen, T Pitassi, A Urquhart
Theory of Computing 3 (1), 81-102, 2007
562007
Approximation and small-depth Frege proofs
S Bellantoni, T Pitassi, A Urquhart
SIAM Journal on Computing 21 (6), 1161-1179, 1992
521992
Decidability and the finite model property
A Urquhart
Journal of Philosophical Logic 10 (3), 367-370, 1981
521981
Synonymous logics
FJ Pelletier, A Urquhart
Journal of Philosophical Logic 32 (3), 259-285, 2003
452003
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20