Follow
Roy Dyckhoff
Roy Dyckhoff
Hon. Senior Lecturer, St Andrews University
Verified email at st-andrews.ac.uk - Homepage
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
4431992
Exponentiable morphisms, partial products and pullback complements
R Dyckhoff, W Tholen
Journal of Pure and Applied Algebra 49 (1-2), 103-116, 1987
1031987
Proof analysis in intermediate logics
R Dyckhoff, S Negri
Archive for Mathematical Logic 51 (1-2), 71-92, 2012
892012
Proof-theoretic semantics for a natural language fragment
N Francez, R Dyckhoff
Linguistics and Philosophy 33, 447-477, 2010
772010
Loop-free construction of counter-models for intuitionistic propositional logic
L Pinto, R Dyckhoff
Symposia Gaussiana, 225-232, 1995
691995
A note on harmony
N Francez, R Dyckhoff
Journal of Philosophical Logic, 613-628, 2012
652012
A deterministic terminating sequent calculus for Gödel-Dummett logic
R Dyckhoff
Logic Journal of the IGPL 7 (3), 319-326, 1999
631999
Permutability of proofs in intuitionistic sequent calculi
R Dyckhoff, L Pinto
Theoretical Computer Science 212 (1-2), 141-155, 1999
621999
Geometrisation of first-order logic
R Dyckhoff, S Negri
Bulletin of Symbolic Logic 21 (2), 123-163, 2015
552015
LJQ: a strongly focused calculus for intuitionistic logic
R Dyckhoff, S Lengrand
CiE 6, 173-185, 2006
512006
Cut-elimination and a permutation-free sequent calculus for intuitionistic logic
R Dyckhoff, L Pinto
Studia Logica 60 (1), 107-118, 1998
491998
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
452000
Implementing a simple proof assistant
R Dyckhoff
Workshop on Programming for Logic Teaching, Leeds, July, 1987
401987
Call-by-value λ-calculus and LJQ
R Dyckhoff, S Lengrand
Journal of Logic and Computation 17 (6), 1109-1134, 2007
392007
Proof-theoretic semantics for subsentential phrases
N Francez, R Dyckhoff, G Ben-Avi
Studia Logica 94, 381-401, 2010
382010
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
332003
A permutation-free sequent calculus for intuitionistic logic
R Dyckhoff, L Pinto
University of St Andrews Research Report CS/96/9, 1996
331996
Factorisation theorems and projective spaces in topology
R Dyckhoff
Mathematische Zeitschrift 127, 256-264, 1972
281972
Intuitionistic decision procedures since Gentzen
R Dyckhoff
Advances in Proof Theory, 245-267, 2016
272016
A focused sequent calculus framework for proof search in Pure Type Systems
SJE Lengrand, R Dyckhoff, J McKinna
arXiv preprint arXiv:1012.3372, 2010
252010
The system can't perform the operation now. Try again later.
Articles 1–20