Alasdair Urquhart
#20,952
Most Influential Person Now
British mathematician and philosopher
Alasdair Urquhart's AcademicInfluence.com Rankings
Alasdair Urquhartphilosophy Degrees
Philosophy
#939
World Rank
#1803
Historical Rank
Logic
#203
World Rank
#444
Historical Rank
Download Badge
Philosophy Mathematics
Why Is Alasdair Urquhart Influential?
(Suggest an Edit or Addition)According to Wikipedia, Alasdair Ian Fenton Urquhart is a Scottish–Canadian philosopher and emeritus professor of philosophy at the University of Toronto. He has made contributions to the field of logic, especially non-classical logic. One of his ideas is proving the undecidability of the relevance logic R. He also published papers in theoretical computer science venues, mostly on mathematical logic topics of relevance to computer science.
Alasdair Urquhart's Published Works
Number of citations in a given year to any of this author's works
Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author
Published Works
- Temporal Logic (1971) (829)
- Hard examples for resolution (1987) (493)
- Semantics for relevant logics (1972) (229)
- Functional interpretations of feasibly constructive arithmetic (1989) (168)
- A topological representation theory for lattices (1978) (161)
- What is Relevant Implication (1989) (154)
- The undecidability of entailment and relevant implication (1984) (149)
- The Complexity of Propositional Proofs (1995) (125)
- An exponential separation between regular and general resolution (2002) (123)
- Basic Many-Valued Logic (2001) (116)
- Many-valued Logic (1986) (99)
- Distributive lattices with a dual homomorphic operation (1979) (90)
- Upper and lower bounds for tree-like cutting planes proofs (1994) (89)
- Approximation and small depth Frege proofs (1991) (72)
- The complexity of decision procedures in relevance logic II (1999) (59)
- Duality for algebras of relevant logics (1996) (52)
- The Depth of Resolution Proofs (2011) (51)
- Distributive lattices with a dual homomorphic operation. II (1979) (48)
- The Symmetry Rule in Propositional Logic (1999) (46)
- Synonymous Logics (2003) (44)
- The complexity of analytic tableaux (2001) (41)
- Decidability and the finite model property (1981) (39)
- Failure of interpolation in relevant logics (1993) (35)
- The Collected Papers of Bertrand Russell, Volume 4: Foundations of Logic, 1903-05 (1994) (35)
- Simplified Lower Bounds for Propositional Proofs (1996) (33)
- The complexity of the Hajos calculus (1992) (31)
- An Interpretation of Many‐Valued Logic (1973) (27)
- The Complexity of Gentzen Systems for Propositional Logic (1989) (26)
- Russell's Zigzag Path to the Ramified Theory of Types (1988) (26)
- Implicational formulas in intuitionistic logic (1974) (25)
- Temporal Logic = Library of Exact Philosophy, Vol. 3 (1973) (22)
- A Near-Optimal Separation of Regular and General Resolution (2011) (20)
- Formalizing Dangerous SAT Encodings (2007) (18)
- Mathematics and Physics: Strategies of Assimilation (2008) (18)
- A semantical theory of analytic implication (1973) (17)
- The Logic of Physical Theory (1990) (16)
- SYNONYMOUS LOGICS: A CORRECTION (2008) (16)
- Completeness of weak implication (2008) (16)
- Foundations of logic, 1903-05 (1994) (16)
- The Dimensionality of Time (1971) (15)
- Local Symmetries in Propositional Logic (2000) (14)
- Resolution Proofs of Matching Principles (2003) (14)
- Complexity of Proofs in Classical Propositional Logic (1992) (14)
- The graph constructions of Hajós and Ore (1997) (14)
- Proof Theories for Semilattice Logics (1987) (13)
- Emil Post (2009) (11)
- Game Characterizations and the PSPACE-Completeness of Tree Resolution Space (2007) (11)
- Free distributive pseudo-complemented lattices (1973) (10)
- Betweenness and Comparability Obtained from Binary Relations (2006) (10)
- The Background of Temporal Logic (1971) (9)
- Functional Interpretations of Feasibly Constructive Arithmetic (Extended Abstract) (1989) (9)
- The Theory of Types (2003) (9)
- Failure of Interpolation in Constant Domain Intuitionistic Logic (2013) (9)
- The Geometry of Relevant Implication (2017) (8)
- A.S. Troelstra , Lectures on Linear Logic . Reviewed by (1993) (8)
- Free Heyting algebras (1973) (8)
- Katalin Bimbó and J. Michael Dunn. Relational semantics of nonclassical logical calculi. CSLI Lecture Notes, no. 188. CSLI Publications, Stanford University, 2008, x + 382 pp. (2010) (7)
- Truth and games: Essays in honour of Gabriel Sandu. edited by Tuomo Aho and Ahti-Veikko Pietarinen, Acta Philosophica Fennica, vol. 78. Societas Philosophica Fennica, Helsinki, 2006, vi + 322 pp. (2008) (7)
- Projective distributive p-algebras (1981) (7)
- Relevance Logic: Problems Open and Closed (2016) (7)
- Comments on ECCC Report TR06-133: The Resolution Width Problem is EXPTIME-Complete (2009) (7)
- The number of lines in Frege proofs with substitution (1997) (7)
- Regular and General Resolution: An Improved Separation (2008) (6)
- A contractionless semilattice semantics (1987) (6)
- The Boundary Between Mathematics and Physics (2008) (6)
- Four Variables Suffice (2007) (6)
- Width and size of regular resolution proofs (2012) (5)
- Decision problems for distributive lattice-ordered semigroups (1995) (5)
- Width versus size in resolution proofs (2006) (5)
- Von Neumann, Gödel and Complexity Theory (2010) (5)
- Failure of interpolation in the intuitionistic logic of constant domains (2012) (5)
- Henry M. Sheffer and Notational Relativity (2012) (5)
- SUPERVALUATION FIXED-POINT LOGICS OF TRUTH (2008) (5)
- RUSSELL AND GÖDEL (2016) (5)
- The Resolution Width Problem is EXPTIME-Complete (2006) (5)
- First degree formulas in quantified S5 (2015) (4)
- Algorithms and Complexity Results for Input and Unit Resolution (2009) (4)
- Further Results on Proof Theories For Semilattice Logics (1988) (4)
- The Complexity of Linear Logic with Weakening (2002) (4)
- Matrix identities and the pigeonhole principle (2004) (4)
- Proof Complexity of Intuitionistic Propositional Logic (2006) (4)
- Decorated linear order types and the theory of concatenation (2010) (4)
- The graph constructions ofHajs and Ore (1997) (4)
- The Introduction of Tense Operators (1971) (3)
- G.F. Stout and the Theory of Descriptions (1994) (3)
- Relevant Implication and Ordered Geometry (2019) (3)
- Equational classes of distributive doublep-algebras (1982) (3)
- 3. Weakly Additive Algebras and a Completeness Problem (2009) (3)
- Proofs, Snakes and Ladders (1974) (3)
- The relative complexity of resolution and cut-free Gentzen systems (1992) (3)
- The Unnameable (2008) (3)
- Anderson and Belnap’s Invitation to Sin (2010) (3)
- Modern Logic and Quantum Mechanics. (1988) (2)
- From Berkeley to Bourbaki (1999) (2)
- Principia Mathematica: The First 100 Years (2013) (2)
- The Complexity of the Haj os Calculus (1992) (2)
- The Theory of Processes (1971) (2)
- Review: Gregory Landini, Russell's Hidden Substitutional Theory (1999) (2)
- Prover / Delayer Game Upper Bounds For Tree Resolution (2006) (2)
- The Complexity of Propositional Proofs with the Substitution Rule (2005) (2)
- INTENSIONAL LANGUAGES VIA NOMINALIZATION (1982) (1)
- The Story of \gamma (2016) (1)
- Functional Interpretations of Feasibly Constructive Arithmetic Abstract (1990) (1)
- Enumerating Types of Boolean Functions (2009) (1)
- Four Variables Suce (2007) (1)
- 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. (2007) (1)
- Branching Time: The System K b (1971) (1)
- Sergio Fajardo and H. Jerome Keisler . Model theory of stochastic processes , Lecture Notes in Logic, vol. 14. Association for Symbolic Logic, A K Peters, Ltd., Natick, Massachusetts, 2002, xii + 136 pp. (2004) (1)
- Review: V. B. Sehtman, B. F. Wells, An Undecidable Superintuitionistic Propositional Calculus; S. V. Popov, Nondecidable Intermediate Calculus (1985) (1)
- 2016 NORTH AMERICAN ANNUAL MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC University of Connecticut Storrs, CT, USA May 23–26, 2016 (2017) (1)
- Algorithms & Complexity Results for Input & Unit Resolution (2008) (1)
- Bertrand Russell Correspondance sur la philosophie, la logique et la politique avec Louis Couturat (1897-1913)., Édition et commentaire par Anne-Françoise Schmid. Transcription et notes sur la langue internationale par Tazio Carlevaro. Éditions Kimé, Paris, 2001. 737 pp. (2005) (1)
- Additive Time: The System R⊕ and R⊕± (1971) (0)
- Current topics in logic and analytic philosophy. edited by Concha Martínez, José L. Falguera and José M. Sagüillo, Colloquium on Logic and Analytic Philosophy at Santiago de Compostela, 2001–2005. Universidade de Santiago de Compostela, 2007, 288 pp. (2008) (0)
- Sébastien Gandon. Russell's Unknown Logicism: A Study in the History and Philosophy of Mathematics. New York: Palgrave Macmillan, 2012. ISBN 978-0-230-57699-5. Pp. xiv + 266 (2013) (0)
- REVIEWS-Nonstandard methods and applications in mathematics (2007) (0)
- Magnan on Word Blindness (0)
- Russell's Metaphysical Logic by Bernard Linsky (review) (2014) (0)
- ASSOCIATION FOR SYMBOLIC LOGIC (2018) (0)
- Krister Segerberg , Classical Propositional Operators: An Exercise in the Foundations of Logic . Reviewed by (1983) (0)
- Propositional Quantification in Tensed Statements (1971) (0)
- Books Received—Livres Reçus (1972) (0)
- Fundamental Distinctions for Temporal Logic (1971) (0)
- Quantification,Temporal Existence, and Identity (1971) (0)
- The Basic System R of Temporal Logic (1971) (0)
- The symmetry rule in propositional logic : The Satisfiability Problem (1999) (0)
- Benacerraf and His Critics Adam Morton and Stephen Stich, editors Philosophers and Their Critics, vol. 8 Cambridge, MA: Blackwell Publishers, 1996, xi + 271 pp., $54.95 (1998) (0)
- Metric Time and Chronological Logic: The System R+ (1971) (0)
- Tense Logical Characterizability and Definability (1971) (0)
- David Corfield , Towards a Philosophy of Real Mathematics . Reviewed by (2004) (0)
- RSL volume 2 issue 2 Cover and Front matter (2009) (0)
- George Boolos , Logic, Logic and Logic . Reviewed by (1999) (0)
- Jon Barwise , The Situation in Logic . Reviewed by (1990) (0)
- The System K t of Minimal Tense Logic (1971) (0)
- Linear Time: The System K l and Its Variants (1971) (0)
- The “Master Argument” of Diodorus and Temporal Determinism (1971) (0)
- The Limits of Abstraction (2004) (0)
- FIXED-POINT LOGICS OF TRUTH (2008) (0)
- The Roots of Modern Logic [review of I. Grattan-Guinness, The Search for Mathematical Roots, 1870-1940 ] (2001) (0)
- An Exponential Separation between Regular and GeneralResolutionMi hael (2002) (0)
- Philip G. Calabrese/Operating on Functions with Variable Domains 1–18 Stewart Shapiro/Mechanism, Truth, and Penrose's New Argu-ment 19–42 Steven E. Boër/Thought-Contents and the Formal Ontology of (2003) (0)
- Michael Detlefsen, ed., "Proof and Knowledge in Mathematics." Reviewed by (1992) (0)
- Review: Arnon Avron, Relevance and Paraconsistency--A New Approach; Arnon Avron, Relevance and Paraconsistency--A New Approach. Part II: The Formal Systems; Arnon Avron, Relevance and Paraconsistency--A New Approach. Part III: Cut-Free Gentzen-Type Systems (1992) (0)
- Proof Theory (2010) (0)
- Review: Rachel Wallace Garden, Modern Logic and Quantum Mechanics (1988) (0)
- Meaning and Modality (1978) (0)
- The Paradox of the Liar Edited by Robert L. Martin. New Haven and London: Yale University Press, 1970. Pp. xv, 149. $5.75. (1971) (0)
- Book Review: Grzegorz Malinowski Many-Valued Logics (1994) (0)
- Comments on the Contributions (2021) (0)
- Ermanno Bencivenga, Karel Lambert, and Bas C. Van Fraassen , Logic, Bivalence and Denotation . Reviewed by (1988) (0)
- The Roots of Modern Logic (2001) (0)
- Patrick Suppes , Probabilistic Metaphysics . Reviewed by (1985) (0)
- Russell's Idealist Phase [review of Nicholas Griffin, Russell's Idealist Apprenticeship ] (1993) (0)
- REVIEWS-Correspondance avec Louis Couturat (1897-1913) (2005) (0)
- Geometry of Relevant Implication II (2023) (0)
- The Couturat-Russell Correspondence (2002) (0)
- Fine on Arbitrary Objects (2020) (0)
- Nuel Belnap: Doctoral students (1990) (0)
- Temporally Conditioned Descriptions and the Concept of Temporal Purity (1971) (0)
- The development of modern logic, edited by Leila Haaparanta, Oxford University Press, 2009. x + 999 pp. (2012) (0)
- Review: Raymond Balbes, Philip Dwinger, Distributive Lattices (1977) (0)
- A Logical Autobiography (2021) (0)
- JSL volume 49 issue 4 Cover and Back matter and Errata (1984) (0)
- Many-Valued Approaches to Temporal Logic (1971) (0)
- Nonstandard methods and applications in mathematics , edited by Nigel J. Cutland, Mauro di Nasso and David A. Ross, Lecture Notes in Logic, vol. 25. Association for Symbolic Logic, A.K. Peters, Ltd. Wellesley, Massachusetts, 2006. x + 248 pp. (2007) (0)
- 2009 North American Annual Meeting of the Association for Symbolic Logic (2009) (0)
- Abstracts of invited plenary speakers (2013) (0)
- Duality Theory for Projective Algebras (2005) (0)
- A French Perspective on Russell [review of "Bertrand Russell de la logique à la politique", special issue of Hermès ] (1991) (0)
- The Logic of World States (1971) (0)
- Pavel Pudlák. Logical Foundations of Mathematics and Computational Complexity: A Gentle Introduction. Springer Monographs in Mathematics. Springer, 2013. ISBN: 978-3-319-00118-0 (hbk); 978-3-319-00119-7 (ebook). Pp. xiv + 695 (2015) (0)
- Review: Collected Works, Volume IV: Correspondence A-G, Volume V: Correspondence H-Z, by Kurt Gödel, edited by Solomon Feferman, John W. Dawson, Jr. (Editors-in-chief), Warren Goldfarb, Charles Parsons and Wilfried Sieg (2005) (0)
- Benson Mates , Skeptical Essays . Reviewed by (1982) (0)
- Time and Necessity . By Jaakko Hintikka. Oxford: Clarendon Press. 1973. Pp. viii, 225. £5.50 (1976) (0)
- Dunn J. Michael. Relevant predication I: the formal theory, Journal of philosophical logic , vol. 16 (1987), pp. 347–381. (1989) (0)
- Review: Feasible Mathematics II (1997) (0)
- MATHEMATICAL METHODS IN PHILOSOPHY EDITORS’ INTRODUCTION (2008) (0)
- FRANCIS JEFFRY PELLETIER and ALASDAIR URQUHART (1986) (0)
- Garden Rachel Wallace. Modern logic and quantum mechanics. Adam Hilger, Bristol 1984, also distributed by Heyden & Son, Philadelphia, xi + 177 pp. (1988) (0)
This paper list is powered by the following services:
Other Resources About Alasdair Urquhart
What Schools Are Affiliated With Alasdair Urquhart?
Alasdair Urquhart is affiliated with the following schools:
