Roy Dyckhoff

Cited by

	All	Since 2018
Citations	1878	449
h-index	22	10
i10-index	41	10

160

120

1991199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220238 8 12 17 17 26 39 44 62 45 35 38 27 26 38 110 55 52 65 57 58 46 86 105 106 89 60 76 148 55 93 70 7

Public access

View all

2 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Sara NegriUniversity of GenoaVerified email at unige.it
Luís PintoCentro de Matemática and Departamento de Matemática e Aplicações, Universidade do MinhoVerified email at math.uminho.pt
Stéphane Graham-LengrandSRI InternationalVerified email at csl.sri.com
Nissim FrancezComputer Science Dept., TechnionVerified email at cs.technion.ac.il
Mehrnoosh SadrzadehReader in Computer Science, Department of Computer Science, University College LondonVerified email at ucl.ac.uk
James McKinnaHeriot-Watt University, EdinburghVerified email at hw.ac.uk
Kevin HammondTechnology Manager, IOHKVerified email at iohk.io
Walter TholenProfessor of Mathematics and Statistics, York UniversityVerified email at mathstat.yorku.ca
Christian UrbanKing's College LondonVerified email at kcl.ac.uk
Hans-Wolfgang LoidlLecturer in the School of Mathematical and Computer Sciences, Heriot-Watt University, EdinburghVerified email at macs.hw.ac.uk
Greg MichaelsonEmeritus Professor of Computer Science, Heriot-Watt UniversityVerified email at hw.ac.uk
Fahad AusafKing's College LondonVerified email at kcl.ac.uk
Steffen JostAkademischer Rat, Theoretical Computer Science, LMU MünchenVerified email at tcs.ifi.lmu.de
Josh ParsonsCUF Lecturer, Oxford UniversityVerified email at ccc.ox.ac.uk

Roy Dyckhoff

Hon. Senior Lecturer, St Andrews University

Verified email at st-andrews.ac.uk - Homepage

Computational logic category theory proof theory


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Contraction-free sequent calculi for intuitionistic logic R Dyckhoff The Journal of Symbolic Logic 57 (3), 795-807, 1992	443	1992
Exponentiable morphisms, partial products and pullback complements R Dyckhoff, W Tholen Journal of Pure and Applied Algebra 49 (1-2), 103-116, 1987	103	1987
Proof analysis in intermediate logics R Dyckhoff, S Negri Archive for Mathematical Logic 51 (1-2), 71-92, 2012	89	2012
Proof-theoretic semantics for a natural language fragment N Francez, R Dyckhoff Linguistics and Philosophy 33, 447-477, 2010	77	2010
Loop-free construction of counter-models for intuitionistic propositional logic L Pinto, R Dyckhoff Symposia Gaussiana, 225-232, 1995	69	1995
A note on harmony N Francez, R Dyckhoff Journal of Philosophical Logic, 613-628, 2012	65	2012
A deterministic terminating sequent calculus for Gödel-Dummett logic R Dyckhoff Logic Journal of the IGPL 7 (3), 319-326, 1999	63	1999
Permutability of proofs in intuitionistic sequent calculi R Dyckhoff, L Pinto Theoretical Computer Science 212 (1-2), 141-155, 1999	62	1999
Geometrisation of first-order logic R Dyckhoff, S Negri Bulletin of Symbolic Logic 21 (2), 123-163, 2015	55	2015
LJQ: a strongly focused calculus for intuitionistic logic R Dyckhoff, S Lengrand CiE 6, 173-185, 2006	51	2006
Cut-elimination and a permutation-free sequent calculus for intuitionistic logic R Dyckhoff, L Pinto Studia Logica 60 (1), 107-118, 1998	49	1998
Admissibility of structural rules for contraction-free systems of intuitionistic logic R Dyckhoff, S Negri The Journal of Symbolic Logic 65 (4), 1499-1518, 2000	45	2000
Implementing a simple proof assistant R Dyckhoff Workshop on Programming for Logic Teaching, Leeds, July, 1987	40	1987
Call-by-value λ-calculus and LJQ R Dyckhoff, S Lengrand Journal of Logic and Computation 17 (6), 1109-1134, 2007	39	2007
Proof-theoretic semantics for subsentential phrases N Francez, R Dyckhoff, G Ben-Avi Studia Logica 94, 381-401, 2010	38	2010
Strong normalization of Herbelin's explicit substitution calculus with substitution propagation R Dyckhoff, C Urban Journal of Logic and Computation 13 (5), 689-706, 2003	33	2003
A permutation-free sequent calculus for intuitionistic logic R Dyckhoff, L Pinto University of St Andrews Research Report CS/96/9, 1996	33	1996
Factorisation theorems and projective spaces in topology R Dyckhoff Mathematische Zeitschrift 127, 256-264, 1972	28	1972
Intuitionistic decision procedures since Gentzen R Dyckhoff Advances in Proof Theory, 245-267, 2016	27	2016
A focused sequent calculus framework for proof search in Pure Type Systems SJE Lengrand, R Dyckhoff, J McKinna arXiv preprint arXiv:1012.3372, 2010	25	2010

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors