Edit Profile (opens in new tab) Dyckhoff, Roy Compute Distance To: Compute Author ID: dyckhoff.roy Published as: Dyckhoff, Roy; Dyckhoff, R. Documents Indexed: 45 Publications since 1972 4 Contributions as Editor Co-Authors: 15 Co-Authors with 31 Joint Publications 378 Co-Co-Authors all top 5 Co-Authors 18 single-authored 7 Negri, Sara 5 Lengrand, Stéphane Jean Eric 5 Pinto, Luís F. 4 Sadrzadeh, Mehrnoosh 3 Francez, Nissim 2 McKinna, James 2 Truffaut, Julien 2 Urban, Christian 2 Wansing, Heinrich Theodor 1 Ausaf, Fahad 1 Ben-Avi, Gilad 1 Bobzien, Susanne 1 Collins, Peter J. 1 Kesner, Delia 1 Tholen, Walter all top 5 Serials 5 Studia Logica 3 The Journal of Symbolic Logic 3 Journal of Logic and Computation 2 Journal of Pure and Applied Algebra 2 Archive for Mathematical Logic 2 The Bulletin of Symbolic Logic 2 Logic Journal of the IGPL 2 Lecture Notes in Computer Science 1 Journal of the London Mathematical Society. Second Series 1 Journal of Philosophical Logic 1 Mathematische Zeitschrift 1 The Quarterly Journal of Mathematics. Oxford Second Series 1 Theoretical Computer Science 1 Topology and its Applications 1 ACM Transactions on Computational Logic 1 Bulletin de l’Académie Polonaise des Sciences, Série des Sciences Mathématiques, Astronomiques et Physiques 1 General Topology and its Applications 1 Logical Methods in Computer Science 1 The Review of Symbolic Logic all top 5 Fields 36 Mathematical logic and foundations (03-XX) 13 Computer science (68-XX) 9 General topology (54-XX) 7 Category theory; homological algebra (18-XX) 4 General and overarching topics; collections (00-XX) 3 Algebraic topology (55-XX) 1 Order, lattices, ordered algebraic structures (06-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 42 Publications have been cited 345 times in 249 Documents Cited by ▼ Year ▼ Contraction-free sequent calculi for intuitionistic logic. Zbl 0761.03004Dyckhoff, Roy 66 1992 Exponentiable morphisms, partial products and pullback complements. Zbl 0659.18003Dyckhoff, Roy; Tholen, Walter 50 1987 Proof analysis in intermediate logics. Zbl 1241.03068Dyckhoff, Roy; Negri, Sara 26 2012 A note on harmony. Zbl 1247.03005Francez, Nissim; Dyckhoff, Roy 23 2012 Proof-theoretic semantics for subsentential phrases. Zbl 1197.03031Francez, Nissim; Dyckhoff, Roy; Ben-Avi, Gilad 17 2010 Proof-theoretic semantics for a natural language fragment. Zbl 1286.03113Francez, Nissim; Dyckhoff, Roy 16 2010 Geometrisation of first-order logic. Zbl 1368.03013Dyckhoff, Roy; Negri, Sara 15 2015 LJQ: a strongly focused calculus for intuitionistic logic. Zbl 1133.03029Dyckhoff, Roy; Lengrand, Stéphane 13 2006 Cut-elimination and a permutation-free sequent calculus for intuitionistic logic. Zbl 0954.03062Dyckhoff, Roy; Pinto, Luis 10 1998 Permutability of proofs in intuitionistic sequent calculi. Zbl 0913.68110Dyckhoff, Roy; Pinto, Luís 10 1999 Loop-free construction of counter-models for intuitionistic propositional logic. Zbl 0848.03002Pinto, Luis; Dyckhoff, Roy 8 1995 Total reflections, partial products, and hereditary factorizations. Zbl 0525.54006Dyckhoff, Roy 8 1984 A deterministic terminating sequent calculus for Gödel-Dummett logic. Zbl 0929.03057Dyckhoff, Roy 8 1999 Call-by-value \({\lambda}\)-calculus and LJQ. Zbl 1133.03030Dyckhoff, Roy; Lengrand, Stéphane 7 2007 Categorical cuts. Zbl 0351.54007Dyckhoff, Roy 6 1976 Decision methods for linearly ordered Heyting algebras. Zbl 1093.03005Dyckhoff, Roy; Negri, Sara 6 2006 Positive logic with adjoint modalities: proof theory, semantics and reasoning about information. Zbl 1337.03031Sadrzadeh, Mehrnoosh; Dyckhoff, Roy 5 2009 Factorisation theorems and projective spaces in topology. Zbl 0226.54009Dyckhoff, R. 5 1972 Strong normalization of Herbelin’s explicit substitution calculus with substitution propagation. Zbl 1036.03036Dyckhoff, Roy; Urban, Christian 5 2003 Analyticity, balance and non-admissibility of Cut in stoic logic. Zbl 1494.03089Bobzien, Susanne; Dyckhoff, Roy 4 2019 Connexion properties and factorisation theorems. Zbl 0373.54015Collins, P. J.; Dyckhoff, R. 4 1977 A cut-free sequent system for Grzegorczyk logic, with an application to the Gödel-McKinsey-Tarski embedding. Zbl 1444.03170Dyckhoff, Roy; Negri, Sara 4 2016 Admissibility of structural rules for contraction-free systems of intuitionistic logic. Zbl 0973.03010Dyckhoff, Roy; Negri, Sara 4 2000 Positive logic with adjoint modalities: proof theory, semantics, and reasoning about information. Zbl 1211.03040Sadrzadeh, Mehrnoosh; Dyckhoff, Roy 3 2010 Projective resolutions of topological spaces. Zbl 0325.18013Dyckhoff, Roy 3 1976 Proof search in constructive logics. Zbl 0939.03062Dyckhoff, Roy; Pinto, Luís 2 1999 Perfect light maps as inverse limits. Zbl 0298.54007Dyckhoff, Roy 2 1974 Cut elimination, substitution and normalisation. Zbl 1429.03198Dyckhoff, Roy 1 2015 Commentary on Grigori Mints’ “Classical and intuitionistic geometric logic”. Zbl 1430.03033Dyckhoff, Roy; Negri, Sara 1 2017 POSIX lexing with derivatives of regular expressions (proof pearl). Zbl 1478.68118Ausaf, Fahad; Dyckhoff, Roy; Urban, Christian 1 2016 Categorical methods in dimension theory. Zbl 0344.55005Dyckhoff, Roy 1 1976 Algebra, proof theory and applications for an intuitionistic logic of propositions, actions and adjoint modal operators. Zbl 1353.68262Dyckhoff, Roy; Sadrzadeh, Mehrnoosh; Truffaut, Julien 1 2013 Algebra, proof theory and applications for a logic of propositions, actions and adjoint modal operators. Zbl 1342.68311Dyckhoff, Roy; Sadrzadeh, Mehrnoosh; Truffaut, Julien 1 2012 Correction to: “Contraction-free sequent calculi for intuitionistic logic”. Zbl 1477.03022Dyckhoff, Roy 1 2018 Sequent calculi for the normal terms of the \(\lambda\Pi\) and \(\lambda\Pi\Sigma\) calculi. Zbl 0917.68198Pinto, Luis; Dyckhoff, Roy 1 1998 Intuitionistic decision procedures since Gentzen. Zbl 1439.03096Dyckhoff, Roy 1 2016 A sequent calculus for type theory. Zbl 1225.03010Lengrand, Stéphane; Dyckhoff, Roy; McKinna, James 1 2006 Strong cut-elimination systems for Hudelmaier’s depth-bounded sequent calculus for implicational logic. Zbl 1222.03060Dyckhoff, Roy; Kesner, Delia; Lengrand, Stéphane 1 2006 On a theorem of Kuratowski concerning upper semi-continuity. Zbl 0249.54006Dyckhoff, R. 1 1973 Simple classes of complete spaces. Zbl 0279.54015Dyckhoff, Roy 1 1974 Admissibility of structural rules for extensions of contraction-free sequent calculi. Zbl 0985.03049Dyckhoff, Roy; Negri, Sara 1 2001 A focused sequent calculus framework for proof search in pure type systems. Zbl 1218.03010Lengrand, Stéphane Jean Eric; Dyckhoff, Roy; McKinna, James 1 2011 Analyticity, balance and non-admissibility of Cut in stoic logic. Zbl 1494.03089Bobzien, Susanne; Dyckhoff, Roy 4 2019 Correction to: “Contraction-free sequent calculi for intuitionistic logic”. Zbl 1477.03022Dyckhoff, Roy 1 2018 Commentary on Grigori Mints’ “Classical and intuitionistic geometric logic”. Zbl 1430.03033Dyckhoff, Roy; Negri, Sara 1 2017 A cut-free sequent system for Grzegorczyk logic, with an application to the Gödel-McKinsey-Tarski embedding. Zbl 1444.03170Dyckhoff, Roy; Negri, Sara 4 2016 POSIX lexing with derivatives of regular expressions (proof pearl). Zbl 1478.68118Ausaf, Fahad; Dyckhoff, Roy; Urban, Christian 1 2016 Intuitionistic decision procedures since Gentzen. Zbl 1439.03096Dyckhoff, Roy 1 2016 Geometrisation of first-order logic. Zbl 1368.03013Dyckhoff, Roy; Negri, Sara 15 2015 Cut elimination, substitution and normalisation. Zbl 1429.03198Dyckhoff, Roy 1 2015 Algebra, proof theory and applications for an intuitionistic logic of propositions, actions and adjoint modal operators. Zbl 1353.68262Dyckhoff, Roy; Sadrzadeh, Mehrnoosh; Truffaut, Julien 1 2013 Proof analysis in intermediate logics. Zbl 1241.03068Dyckhoff, Roy; Negri, Sara 26 2012 A note on harmony. Zbl 1247.03005Francez, Nissim; Dyckhoff, Roy 23 2012 Algebra, proof theory and applications for a logic of propositions, actions and adjoint modal operators. Zbl 1342.68311Dyckhoff, Roy; Sadrzadeh, Mehrnoosh; Truffaut, Julien 1 2012 A focused sequent calculus framework for proof search in pure type systems. Zbl 1218.03010Lengrand, Stéphane Jean Eric; Dyckhoff, Roy; McKinna, James 1 2011 Proof-theoretic semantics for subsentential phrases. Zbl 1197.03031Francez, Nissim; Dyckhoff, Roy; Ben-Avi, Gilad 17 2010 Proof-theoretic semantics for a natural language fragment. Zbl 1286.03113Francez, Nissim; Dyckhoff, Roy 16 2010 Positive logic with adjoint modalities: proof theory, semantics, and reasoning about information. Zbl 1211.03040Sadrzadeh, Mehrnoosh; Dyckhoff, Roy 3 2010 Positive logic with adjoint modalities: proof theory, semantics and reasoning about information. Zbl 1337.03031Sadrzadeh, Mehrnoosh; Dyckhoff, Roy 5 2009 Call-by-value \({\lambda}\)-calculus and LJQ. Zbl 1133.03030Dyckhoff, Roy; Lengrand, Stéphane 7 2007 LJQ: a strongly focused calculus for intuitionistic logic. Zbl 1133.03029Dyckhoff, Roy; Lengrand, Stéphane 13 2006 Decision methods for linearly ordered Heyting algebras. Zbl 1093.03005Dyckhoff, Roy; Negri, Sara 6 2006 A sequent calculus for type theory. Zbl 1225.03010Lengrand, Stéphane; Dyckhoff, Roy; McKinna, James 1 2006 Strong cut-elimination systems for Hudelmaier’s depth-bounded sequent calculus for implicational logic. Zbl 1222.03060Dyckhoff, Roy; Kesner, Delia; Lengrand, Stéphane 1 2006 Strong normalization of Herbelin’s explicit substitution calculus with substitution propagation. Zbl 1036.03036Dyckhoff, Roy; Urban, Christian 5 2003 Admissibility of structural rules for extensions of contraction-free sequent calculi. Zbl 0985.03049Dyckhoff, Roy; Negri, Sara 1 2001 Admissibility of structural rules for contraction-free systems of intuitionistic logic. Zbl 0973.03010Dyckhoff, Roy; Negri, Sara 4 2000 Permutability of proofs in intuitionistic sequent calculi. Zbl 0913.68110Dyckhoff, Roy; Pinto, Luís 10 1999 A deterministic terminating sequent calculus for Gödel-Dummett logic. Zbl 0929.03057Dyckhoff, Roy 8 1999 Proof search in constructive logics. Zbl 0939.03062Dyckhoff, Roy; Pinto, Luís 2 1999 Cut-elimination and a permutation-free sequent calculus for intuitionistic logic. Zbl 0954.03062Dyckhoff, Roy; Pinto, Luis 10 1998 Sequent calculi for the normal terms of the \(\lambda\Pi\) and \(\lambda\Pi\Sigma\) calculi. Zbl 0917.68198Pinto, Luis; Dyckhoff, Roy 1 1998 Loop-free construction of counter-models for intuitionistic propositional logic. Zbl 0848.03002Pinto, Luis; Dyckhoff, Roy 8 1995 Contraction-free sequent calculi for intuitionistic logic. Zbl 0761.03004Dyckhoff, Roy 66 1992 Exponentiable morphisms, partial products and pullback complements. Zbl 0659.18003Dyckhoff, Roy; Tholen, Walter 50 1987 Total reflections, partial products, and hereditary factorizations. Zbl 0525.54006Dyckhoff, Roy 8 1984 Connexion properties and factorisation theorems. Zbl 0373.54015Collins, P. J.; Dyckhoff, R. 4 1977 Categorical cuts. Zbl 0351.54007Dyckhoff, Roy 6 1976 Projective resolutions of topological spaces. Zbl 0325.18013Dyckhoff, Roy 3 1976 Categorical methods in dimension theory. Zbl 0344.55005Dyckhoff, Roy 1 1976 Perfect light maps as inverse limits. Zbl 0298.54007Dyckhoff, Roy 2 1974 Simple classes of complete spaces. Zbl 0279.54015Dyckhoff, Roy 1 1974 On a theorem of Kuratowski concerning upper semi-continuity. Zbl 0249.54006Dyckhoff, R. 1 1973 Factorisation theorems and projective spaces in topology. Zbl 0226.54009Dyckhoff, R. 5 1972 all cited Publications top 5 cited Publications all top 5 Cited by 250 Authors 18 Dyckhoff, Roy 14 Negri, Sara 13 Cagliari, Francesca 12 Francez, Nissim 10 Mantovani, Sandra 7 Fiorentini, Camillo 6 Ferrari, Mauro 6 Fiorino, Guido 6 Johnstone, Peter T. 6 Tholen, Walter 5 Clementino, Maria Manuel 5 Crivei, Septimiu 5 Hofmann, Dirk 5 Iemhoff, Rosalie 5 Miller, Dale Allen 5 Sadrzadeh, Mehrnoosh 4 Espírito Santo, José Carlos 4 Hosseini, Seyed Naser 4 Pimentel, Elaine 4 Pinto, Luís F. 4 Read, Stephen 4 Więckowski, Bartosz 3 Harmer, Russ 3 Keskin Tutuncu, Derya 3 Kuznets, Roman 3 Moscato, Ugo 3 Nigam, Vivek 3 Olivetti, Nicola 3 Pliuškevičius, Regimantas 3 Schroeder-Heister, Peter Joseph 3 Tarau, Paul 3 von Plato, Jan 3 Wansing, Heinrich Theodor 2 Accattoli, Beniamino 2 Alonderis, Romas 2 Avellone, Alessandro 2 Ben-Avi, Gilad 2 Bobzien, Susanne 2 Börger, Reinhard 2 Corradini, Andrea 2 Czajka, Łukasz 2 Dowek, Gilles 2 Drobyshevich, Sergeĭ Andreevich 2 Duval, Dominique 2 Galmiche, Didier 2 Jiang, Ying 2 Kesner, Delia 2 Kreitz, Christoph 2 Kürbis, Nils 2 Liang, Chuck 2 Marin, Sonia 2 Matthes, Ralph 2 Miglioli, Pierangelo 2 Olteanu, Gabriela 2 Ornaghi, Mario 2 Oshurko, Eugenia 2 Otten, Jens 2 Peterson, Clayton 2 Ramanayake, Revantha 2 Rathjen, Michael 2 Sano, Katsuhiko 2 Shir Ali Nasab, Amir Reza 2 Tribak, Rachid 2 Voronkov, Andrei 2 Weiss, Yale 2 Yeganeh, Leila 1 Adams, Andrew A. 1 Ausaf, Fahad 1 Avron, Arnon 1 Awodey, Steve 1 Baaz, Matthias 1 Badea, Cornelia Druţu 1 Baldan, Paolo 1 Behr, Nicolas 1 Birkedal, Lars 1 Bizjak, Aleš 1 Borceux, Francis 1 Borisavljević, Mirjana 1 Borisovich, Yuriĭ Grigor’evich 1 Bourke, John 1 Bridson, Martin R. 1 Bringsjord, Selmer 1 Brock-Nannestad, Taus 1 Bunge, Marta C. 1 Buss, Samuel R. 1 Carboni, Aurelio 1 Cerrito, Serenella 1 Cervesato, Iliano 1 Cheeger, Jeff 1 Chihani, Zakaria 1 Conchon, Sylvain 1 Crolard, Tristan 1 D’Agostino, Giovanna 1 D’Agostino, Marcello 1 Dalmonte, Tiziano 1 David, Rene 1 de Barros Santos, Jefferson 1 De Groot, Jim 1 de Paiva, Valeria 1 Dikranjan, Dikran N. ...and 150 more Authors all top 5 Cited in 49 Serials 20 Theoretical Computer Science 13 Studia Logica 13 The Review of Symbolic Logic 11 Topology and its Applications 11 Annals of Pure and Applied Logic 11 Journal of Automated Reasoning 10 Journal of Pure and Applied Algebra 9 Journal of Philosophical Logic 8 Applied Categorical Structures 6 MSCS. Mathematical Structures in Computer Science 6 The Bulletin of Symbolic Logic 5 Cahiers de Topologie et Géométrie Différentielle Catégoriques 5 Logica Universalis 4 Communications in Algebra 4 Synthese 4 Journal of Applied Non-Classical Logics 3 Quaestiones Mathematicae 3 Archive for Mathematical Logic 3 Journal of Logic, Language and Information 3 Journal of Applied Logic 3 Journal of Logical and Algebraic Methods in Programming 2 Lithuanian Mathematical Journal 2 Journal of Soviet Mathematics 2 History and Philosophy of Logic 2 Information and Computation 2 Oberwolfach Reports 1 Acta Informatica 1 Information Processing Letters 1 Beiträge zur Algebra und Geometrie 1 Algebra and Logic 1 Information Sciences 1 Journal of Algebra 1 The Journal of Symbolic Logic 1 Notre Dame Journal of Formal Logic 1 Proceedings of the American Mathematical Society 1 Formal Aspects of Computing 1 Geometric and Functional Analysis. GAFA 1 Bulletin of the American Mathematical Society. New Series 1 Journal of Mathematical Sciences (New York) 1 Theory and Applications of Categories 1 Theory of Computing Systems 1 LMS Journal of Computation and Mathematics 1 Logic and Logical Philosophy 1 Theory and Practice of Logic Programming 1 Cahiers de Topologie et Géométrie Différentielle Catégoriques 1 ACM Transactions on Computational Logic 1 Groups, Geometry, and Dynamics 1 Logical Methods in Computer Science 1 Philosophical Transactions of the Royal Society of London. A. Mathematical, Physical and Engineering Sciences all top 5 Cited in 19 Fields 171 Mathematical logic and foundations (03-XX) 70 Computer science (68-XX) 54 Category theory; homological algebra (18-XX) 30 General topology (54-XX) 14 Order, lattices, ordered algebraic structures (06-XX) 8 Algebraic topology (55-XX) 7 History and biography (01-XX) 7 Associative rings and algebras (16-XX) 5 General and overarching topics; collections (00-XX) 2 Group theory and generalizations (20-XX) 1 Combinatorics (05-XX) 1 Algebraic geometry (14-XX) 1 Real functions (26-XX) 1 Measure and integration (28-XX) 1 Dynamical systems and ergodic theory (37-XX) 1 Functional analysis (46-XX) 1 Geometry (51-XX) 1 Manifolds and cell complexes (57-XX) 1 Information and communication theory, circuits (94-XX) Citations by Year