Roy Dyckhoff

44 papers A 1B 6C 1Journal 25Unranked 7
YearRankTypeTitle / Venue / Authors
2019 J jnl
Analyticity, Balance and Non-admissibility of $$\varvec{Cut}$$ Cut in Stoic Logic.
Stud Logica
Susanne Bobzien, Roy Dyckhoff
2019 J jnl
Indirect Proof and Inversions of Syllogisms.
Bull. Symb. Log.
Roy Dyckhoff
2018 J jnl
Contraction-Free Sequent Calculi for intuitionistic Logic: a correction.
J. Symb. Log.
Roy Dyckhoff
2017 J jnl
Commentary on Grigori Mints' "Classical and Intuitionistic Geometric Logic".
FLAP
Roy Dyckhoff, Sara Negri
2016 J jnl
A cut-free sequent system for Grzegorczyk logic, with an application to the Gödel-McKinsey-Tarski embedding.
J. Log. Comput.
Roy Dyckhoff, Sara Negri
2016 B conf
POSIX Lexing with Derivatives of Regular Expressions (Proof Pearl).
ITP
Fahad Ausaf, Roy Dyckhoff, Christian Urban
2016 J jnl
POSIX Lexing with Derivatives of Regular Expressions.
Arch. Formal Proofs
Fahad Ausaf, Roy Dyckhoff, Christian Urban
2016 — ch.
Some Remarks on Proof-Theoretic Semantics.
Advances in Proof-Theoretic Semantics
Roy Dyckhoff
2015 J jnl
Geometrisation of First-order Logic.
Bull. Symb. Log.
Roy Dyckhoff, Sara Negri
2015 B conf
Invited Talk: Coherentisation of First-Order Logic.
TABLEAUX
Roy Dyckhoff
2013 J jnl
Algebra, proof theory and applications for an intuitionistic logic of propositions, actions and adjoint modal operators.
ACM Trans. Comput. Log.
Roy Dyckhoff, Mehrnoosh Sadrzadeh, Julien Truffaut
2012 J jnl
A Note on Harmony.
J. Philos. Log.
Nissim Francez, Roy Dyckhoff
2012 B conf
Algebra, Proof Theory and Applications for a Logic of Propositions, Actions and Adjoint Modal Operators.
MFPS
Roy Dyckhoff, Mehrnoosh Sadrzadeh, Julien Truffaut
2012 J jnl
Proof analysis in intermediate logics.
Arch. Math. Log.
Roy Dyckhoff, Sara Negri
2011 J jnl
A Focused Sequent Calculus Framework for Proof Search in Pure Type Systems
Log. Methods Comput. Sci.
Stéphane Lengrand, Roy Dyckhoff, James McKinna
2010 J jnl
Positive Logic with adjoint Modalities: Proof Theory, Semantics, and Reasoning about Information.
Rev. Symb. Log.
Mehrnoosh Sadrzadeh, Roy Dyckhoff
2010 J jnl
Proof-Theoretic Semantics for Subsentential Phrases.
Stud Logica
Nissim Francez, Roy Dyckhoff, Gilad Ben-Avi
2009 J jnl
Positive Logic with Adjoint Modalities: Proof Theory, Semantics and Reasoning about Information
CoRR
Mehrnoosh Sadrzadeh, Roy Dyckhoff
2009 B conf
Positive Logic with Adjoint Modalities: Proof Theory, Semantics and Reasoning about Information.
MFPS
Mehrnoosh Sadrzadeh, Roy Dyckhoff
2009 — conf
Proof-Theoretic Semantics for a Natural Language Fragment.
MOL
Nissim Francez, Roy Dyckhoff
2007 J jnl
Call-by-Value lambda-calculus and LJQ.
J. Log. Comput.
Roy Dyckhoff, Stéphane Lengrand
2006 B conf
A Sequent Calculus for Type Theory.
CSL
Stéphane Lengrand, Roy Dyckhoff, James McKinna
2006 J jnl
Decision methods for linearly ordered Heyting algebras.
Arch. Math. Log.
Roy Dyckhoff, Sara Negri
2006 C conf
LJQ: A Strongly Focused Calculus for Intuitionistic Logic.
CiE
Roy Dyckhoff, Stéphane Lengrand
2006 A conf
Strong Cut-Elimination Systems for Hudelmaier's Depth-Bounded Sequent Calculus for Implicational Logic.
IJCAR
Roy Dyckhoff, Delia Kesner, Stéphane Lengrand
2006 — conf
Towards Formally Verifiable WCET Analysis for a Functional Programming Language.
WCET
Kevin Hammond, Christian Ferdinand, Reinhold Heckmann, Roy Dyckhoff, Martin Hofmann, Steffen Jost, Hans-Wolfgang Loidl, Greg Michaelson, Robert F. Pointon, Norman Scaife, Jocelyn Sérot, Andy Wallace
2005 — conf
The Embounded project (project start paper).
Trends in Functional Programming
Kevin Hammond, Roy Dyckhoff, Christian Ferdinand, Reinhold Heckmann, Martin Hofmann, Steffen Jost, Hans-Wolfgang Loidl, Greg Michaelson, Robert F. Pointon, Norman Scaife, Jocelyn Sérot, Andy Wallace
2003 J jnl
Strong Normalization of Herbelin's Explicit Substitution Calculus with Substitution Propagation.
J. Log. Comput.
Roy Dyckhoff, Christian Urban
2001 J jnl
Admissibility of Structural Rules for Extensions of Contraction-Free Sequent Calculi.
Log. J. IGPL
Roy Dyckhoff, Sara Negri
2001 J jnl
Editorial.
Stud Logica
Roy Dyckhoff, Heinrich Wansing
2001 J jnl
Editorial.
Stud Logica
Roy Dyckhoff, Heinrich Wansing
2000 J jnl
Admissibility of Structural Rules for Contraction-Free Systems of Intuitionistic Logic.
J. Symb. Log.
Roy Dyckhoff, Sara Negri
2000 B ed.
Automated Reasoning with Analytic Tableaux and Related Methods, International Conference, TABLEAUX 2000, St Andrews, Scotland, UK, July 3-7, 2000, Proceedings
TABLEAUX
Roy Dyckhoff
1999 J jnl
A Deterministic Terminating Sequent Calculus for Gödel-Dummett logic.
Log. J. IGPL
Roy Dyckhoff
1999 J jnl
Permutability of Proofs in Intuitionistic Sequent Calculi.
Theor. Comput. Sci.
Roy Dyckhoff, Luís Pinto
1998 J jnl
Cut-Elimination and a Permutation-Free Sequent Calculus for Intuitionistic Logic.
Stud Logica
Roy Dyckhoff, Luís Pinto
1998 — conf
Sequent Calculi for the Normal Terms of the - and - Calculi.
Proof Search in Type-Theoretic Languages@CADE
Luís Pinto, Roy Dyckhoff
1996 — ed.
Extensions of Logic Programming, 5th International Workshop, ELP'96, Leipzig, Germany, March 28-30, 1996, Proceedings
ELP
Roy Dyckhoff, Heinrich Herre, Peter Schroeder-Heister
1994 — ed.
Extensions of Logic Programming, 4th International Workshop, ELP'93, St. Andrews, UK, March 29 - April 1, 1993, Proceedings
ELP
Roy Dyckhoff
1994 — ed.
ICLP 1994, Workshop W10: Proof-Theoretical Extensions on Logic Programming, Santa Margherita Ligure, Italy, June 1994
ICLP Workshop: Proof-Theoretical Extensions on Logic Programming
Roy Dyckhoff, Lars-Henrik Eriksson, Alberto Momigliano, Mario Ornaghi
1994 — conf
Proof Search (Tutorial).
ICLP Workshop: Proof-Theoretical Extensions on Logic Programming
Roy Dyckhoff, Natarajan Shankar
1994 — conf
Uniform Proofs and Natural Deduction.
ICLP Workshop: Proof-Theoretical Extensions on Logic Programming
Roy Dyckhoff, Luís Pinto
1993 — conf
Introduction to ELP'93.
ELP
Roy Dyckhoff
1992 J jnl
Contraction-Free Sequent Calculi for Intuitionistic Logic.
J. Symb. Log.
Roy Dyckhoff