Concepedia

Roy Dyckhoff

RD

Statistics

Publications

17

Citations

871

H-Index

15

Active since

1987

Affiliations

University of St Andrews(Current)

Andrews University

St. Andrews University

University of Helsinki

Technion – Israel Institute of Technology

Roy Dyckhoff is an author at University of St Andrews specializing in computer science, mathematics, and logic.

ORCID

Publications per year

1987–2015

17

Publications

17

Contraction-free sequent calculi for intuitionistic logic

Roy Dyckhoff · Journal of Symbolic Logic · 1992 · 281 citations

, , +12

Exponentiable morphisms, partial products and pullback complements

Roy Dyckhoff, Walter Tholen · Journal of Pure and Applied Algebra · 1987 · 94 citations

, , +10

Proof analysis in intermediate logics

Roy Dyckhoff, Sara Negri · Archive for Mathematical Logic · 2011 · 79 citations

, , +13

Proof-theoretic semantics for a natural language fragment

Nissim Francez, Roy Dyckhoff · Linguistics and Philosophy · 2010 · 54 citations

, , +13

A Note on Harmony

Nissim Francez, Roy Dyckhoff · Journal of Philosophical Logic · 2011 · 47 citations

, , +2

1–5 of 17