Alasdair Urquhart

Urquhart at the [[Association for Symbolic Logic]], [[Pittsburgh]], [[Pennsylvania]], May 2004 Alasdair Ian Fenton Urquhart ( ; born 20 December 1945) 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. Amongst his most notable accomplishments is the proof of undecidability of the relevance logic R. He published numerous scientific papers in theoretical computer science venues, mostly on mathematical logic topics of relevance to computer science. Provided by Wikipedia
Showing 1 - 8 results of 8 for search 'Urquhart, Alasdair', query time: 0.04s Refine Results
In addition to media from the THWS, media from other Bavarian libraries are also displayed.
These are marked with the "Interlibrary loan" label and can be ordered by clicking on them.
  1. 1
    The complexity of decision procedures in relevance logic

    The complexity of decision procedures in relevance logic by Urquhart, Alasdair

    Published 1989
    Book Interlibrary loan Place Request


    Saved in:
  2. 2
    Temporal logic

    Temporal logic by Rescher, Nicholas 1928-2024, Urquhart, Alasdair

    Published 1971
    Book Interlibrary loan Place Request


    Saved in:
  3. 3
    Temporal logic

    Temporal logic by Rescher, Nicholas 1928-2024, Urquhart, Alasdair

    Published 1971
    Book Interlibrary loan Place Request


    Saved in:
  4. 4
    Henry M. Sheffer and notational relativity

    Henry M. Sheffer and notational relativity by Urquhart, Alasdair

    Published 2012

    Get full text
    Article Interlibrary loan Place Request


    Saved in:
  5. 5
    Functional interpretations of feasibly constructive arithmetic

    Functional interpretations of feasibly constructive arithmetic by Cook, Stephen, Urquhart, Alasdair

    Published 1988
    Book Interlibrary loan Place Request


    Saved in:
  6. 6
    Foundations of logic 1903 - 1905

    Foundations of logic 1903 - 1905 by Russell, Bertrand 1872-1970

    Published 1994
    Other Authors: “…Urquhart, Alasdair…”
    Book Interlibrary loan Place Request


    Saved in:
  7. 7
    The collected papers

    The collected papers by Russell, Bertrand 1872-1970

    Published 1994
    Other Authors: “…Urquhart, Alasdair…”
    Book Interlibrary loan Place Request


    Saved in:
  8. 8
    Foundations of logic, 1903 - 1905

    Foundations of logic, 1903 - 1905 by Russell, Bertrand 1872-1970

    Published 1994
    Other Authors: “…Urquhart, Alasdair…”
    Book Interlibrary loan Place Request


    Saved in:

Search Tools: