Contraction-free sequent calculi for intuitionistic logic R Dyckhoff The Journal of Symbolic Logic 57 (3), 795-807, 1992 | 489 | 1992 |
Exponentiable morphisms, partial products and pullback complements R Dyckhoff, W Tholen Journal of Pure and Applied Algebra 49 (1-2), 103-116, 1987 | 116 | 1987 |
Proof analysis in intermediate logics R Dyckhoff, S Negri Archive for Mathematical Logic 51, 71-92, 2012 | 108 | 2012 |
Proof-theoretic semantics for a natural language fragment N Francez, R Dyckhoff Linguistics and Philosophy 33, 447-477, 2010 | 80 | 2010 |
A note on harmony N Francez, R Dyckhoff Journal of Philosophical Logic 41, 613-628, 2012 | 73 | 2012 |
Loop-free construction of counter-models for intuitionistic propositional logic L Pinto, R Dyckhoff Symposia Gaussiana, 225-232, 1995 | 71 | 1995 |
Geometrisation of first-order logic R Dyckhoff, S Negri Bulletin of Symbolic Logic 21 (2), 123-163, 2015 | 68 | 2015 |
Permutability of proofs in intuitionistic sequent calculi R Dyckhoff, L Pinto Theoretical Computer Science 212 (1-2), 141-155, 1999 | 66 | 1999 |
A deterministic terminating sequent calculus for Gödel-Dummett logic R Dyckhoff Logic Journal of the IGPL 7 (3), 319-326, 1999 | 62 | 1999 |
LJQ: a strongly focused calculus for intuitionistic logic R Dyckhoff, S Lengrand Logical Approaches to Computational Barriers: Second Conference on …, 2006 | 59 | 2006 |
Cut-elimination and a permutation-free sequent calculus for intuitionistic logic R Dyckhoff, L Pinto Studia Logica 60 (1), 107-118, 1998 | 55 | 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 | 52 | 2000 |
Implementing a simple proof assistant R Dyckhoff Workshop on Programming for Logic Teaching, Leeds, July, 1987 | 44 | 1987 |
Call-by-value λ-calculus and LJQ R Dyckhoff, S Lengrand Journal of Logic and Computation 17 (6), 1109-1134, 2007 | 42 | 2007 |
Proof-theoretic semantics for subsentential phrases N Francez, R Dyckhoff, G Ben-Avi Studia Logica 94, 381-401, 2010 | 39 | 2010 |
Intuitionistic decision procedures since Gentzen R Dyckhoff Advances in Proof Theory, 245-267, 2016 | 35 | 2016 |
A permutation-free sequent calculus for intuitionistic logic R Dyckhoff, L Pinto University of St Andrews Research Report CS/96/9, 1996 | 34 | 1996 |
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 | 31 | 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 | 31 | 2003 |
Factorisation theorems and projective spaces in topology R Dyckhoff Mathematische Zeitschrift 127, 256-264, 1972 | 30 | 1972 |