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

Email: 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 (54)

  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: Contribution to journal › Article

  2. Contraction-free sequent calculi in intuitionistic logic: a correction

    Dyckhoff, R. 18 May 2018 (Accepted/In press) In : Journal of Symbolic Logic. 3 p.

    Research output: Contribution to journal › Article

  3. Indefinite proof and inversions of syllogisms

    Dyckhoff, R. 14 Jul 2018 (Accepted/In press) In : Bulletin of Symbolic Logic. 13 p.

    Research output: Contribution to journal › Article

View all

Activities (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