Skip to content

Research at St Andrews

University > Research portal > Researchers > Roy Dyckhoff

Roy Dyckhoff

Person

Roy Dyckhoff
Postal address:
School of Computer Science
North Haugh
St Andrews
Fife
United Kingdom

E-mail: rd@st-andrews.ac.uk

Direct phone: +44 (0)1334 46

Research overview

intuitionistic logic; constructive logic; constructive mathematics; automated reasoning; category theory; logic programming; proof theory; type theory; functional programming; lambda calculus; programming language semantics; computational linguistics

Show more...Show less

Research publications (52)

  1. Analyticity, balance and non-admissibility of Cut in Stoic Logic

    Bobzien, S. & Dyckhoff, R. 20 Apr 2018 In : Studia Logica. First Online, 23 p.

    Research output: Research - peer-review › Article

  2. Commentary on Grigori Mints’ “Classical and Intuitionistic Geometric Logic”

    Dyckhoff, R. & Negri, S. 17 Jul 2017 In : Journal of Applied Logics — IfCoLoG Journal of Logics and their Applications. 4, 4, p. 1235-1238 4 p.

    Research output: Research - peer-review › Article

  3. Intuitionistic decision procedures since Gentzen

    Dyckhoff, R. 5 May 2016 Advances in Proof Theory. Kahle, R., Strahm, T. & Studer, T. (eds.). Birkhäuser Basel, p. 245-267 (Progress in Computer Science and Applied Logic; vol. 28)

    Research output: Research - peer-review › Chapter (peer-reviewed)

View all

Activities and awards (7)

  1. Invited Lecture in Special Session on Proof Theory, International Conference on Computability in Europe, Swansea (1 July)

    Dyckhoff, R. (Invited speaker)
    2006

    Activity: Talk or presentation › Invited talk

  2. Studia Logica (Journal)

    Dyckhoff, R. (Editor)
    2004 → …

    Activity: Publication peer-review and editorial work › Editor of research journal

  3. British Logic Colloquium PC Co-Chair and Co-local Organiser, St Andrews, 2003

    Dyckhoff, R. (Organiser)
    2003

    Activity: Participating in or organising an event › Participation in or organising a conference

View all

Funded projects (5)

  1. Contract No 510255: Automatic Analysis of Bounded Resources for Embedded Systems

    Hammond, K. & Dyckhoff, R.

    European Commission

    1/03/05 → 28/02/09

    Project: Standard

  2. Fellowship CLANN EP/F044046/1: Computational Logic in Artificial Neural Networks

    Dyckhoff, R.

    EPSRC

    1/10/08 → 30/09/11

    Project: Fellowship

  3. Lexicalized Proof-Theoretic Semantics fo: Lexicalized proof-theoretic Semantics for Natural Language

    Dyckhoff, R.

    EPSRC

    1/02/07 → 31/08/07

    Project: Standard

View all

Discover related content
Find related publications, people, projects and more using interactive charts.

View graph of relations