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
4721992
Exponentiable morphisms, partial products and pullback complements
R Dyckhoff, W Tholen
Journal of Pure and Applied Algebra 49 (1-2), 103-116, 1987
1131987
Proof analysis in intermediate logics
R Dyckhoff, S Negri
Archive for Mathematical Logic 51, 71-92, 2012
982012
Proof-theoretic semantics for a natural language fragment
N Francez, R Dyckhoff
Linguistics and Philosophy 33, 447-477, 2010
802010
A note on harmony
N Francez, R Dyckhoff
Journal of Philosophical Logic 41, 613-628, 2012
702012
Loop-free construction of counter-models for intuitionistic propositional logic
L Pinto, R Dyckhoff
Symposia Gaussiana, 225-232, 1995
671995
Permutability of proofs in intuitionistic sequent calculi
R Dyckhoff, L Pinto
Theoretical Computer Science 212 (1-2), 141-155, 1999
631999
A deterministic terminating sequent calculus for Gödel-Dummett logic
R Dyckhoff
Logic Journal of the IGPL 7 (3), 319-326, 1999
621999
Geometrisation of first-order logic
R Dyckhoff, S Negri
Bulletin of Symbolic Logic 21 (2), 123-163, 2015
612015
LJQ: a strongly focused calculus for intuitionistic logic
R Dyckhoff, S Lengrand
Logical Approaches to Computational Barriers: Second Conference on …, 2006
562006
Cut-elimination and a permutation-free sequent calculus for intuitionistic logic
R Dyckhoff, L Pinto
Studia Logica 60 (1), 107-118, 1998
511998
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
502000
Implementing a simple proof assistant
R Dyckhoff
Workshop on programming for logic teaching, Proceedings 23, 49-59, 1987
441987
Call-by-value λ-calculus and LJQ
R Dyckhoff, S Lengrand
Journal of Logic and Computation 17 (6), 1109-1134, 2007
432007
Proof-theoretic semantics for subsentential phrases
N Francez, R Dyckhoff, G Ben-Avi
Studia Logica 94, 381-401, 2010
392010
A permutation-free sequent calculus for intuitionistic logic
R Dyckhoff, L Pinto
University of St Andrews Research Report CS/96/9, 1996
341996
Intuitionistic decision procedures since Gentzen
R Dyckhoff
Advances in Proof Theory, 245-267, 2016
322016
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
312003
Positive logic with adjoint modalities: Proof theory, semantics, and reasoning about information
M Sadrzadeh, R Dyckhoff
The Review of Symbolic Logic 3 (3), 351-373, 2010
302010
Factorisation theorems and projective spaces in topology
R Dyckhoff
Mathematische Zeitschrift 127, 256-264, 1972
301972
The system can't perform the operation now. Try again later.
Articles 1–20