Alasdair Urquhart - Alasdair Urquhart

Não deve ser confundido com Alistair Urquhart .

Alasdair Urquhart na Associação da Lógica Simbólica, Pittsburgh, maio de 2004

Alasdair Ian Fenton Urquhart ( / æ l ə s d ər ɜr k ər t / , nascido 20 de dezembro de 1945) é um emérito professor de Filosofia na Universidade de Toronto . Ele fez contribuições para o campo da lógica , especialmente lógica não clássica . Uma de suas idéias é provar a indecidibilidade da relevância lógica R . Ele também publicou trabalhos em teóricos da ciência da computação locais, principalmente na lógica matemática temas de relevância para a ciência da computação .

Um nativo da Escócia, Urquhart recebeu seu MA em Filosofia pela Universidade de Edimburgo , em 1967, e seu Ph.D. da Universidade de Pittsburgh , em 1973, sob a supervisão de Alan Ross Anderson e Nuel Belnap .

Publicações selecionadas

  • Lógica Temporal (co-autor com Nicholas Rescher), Springer Verlag New York e Viena 1971
  • "O Indecidibilidade de Entailment e Implicação Relevante." Journal of Lógica simbólico 49 (4): 1059-1073 (1984).
  • com Stephen A. Cook , "interpretações funcionais de viabilizar Aritmética construtiva", Annals of Pure and Applied Logic , 1993; versão preliminar de STOC '89
  • "A complexidade dos procedimentos de decisão na Relevância Logic II", Journal of Lógica simbólica, Volume 64, Issue 4 (1999), 1774-1802.

Referências

links externos