Roy Dyckhoff

University of St Andrews — United Kingdom

Computer Science · Physical Sciences

17h-index1.2kcitations73works0.02yr avg
OpenAlex↗ORCID↗Google Scholar↗Lab page↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Logic, programming, and type systems(43), Logic, Reasoning, and Knowledge(43), Advanced Algebra and Logic(23), Formal Methods in Verification(14), Semantic Web and Ontologies(7)

Publications73 total

INDIRECT PROOF AND INVERSIONS OF SYLLOGISMS
Bulletin of Symbolic Logic·2019· 6 cited
CONTRACTION-FREE SEQUENT CALCULI FOR INTUITIONISTIC LOGIC: A CORRECTION
Journal of Symbolic Logic·2018· 2 cited
Analyticity, Balance and Non-admissibility of $$\varvec{Cut}$$ Cut in Stoic Logic
Studia Logica·2018· 4 citedOpen Access
Commentary on Grigori Mints’ “Classical and Intuitionistic Geometric Logic”
CINECA IRIS Institutial Research Information System (University of Genoa)·2017· 2 cited
Intuitionistic Decision Procedures Since Gentzen
Progress in computer science and applied logic·2016· 12 cited
POSIX Lexing with Derivatives of Regular Expressions (Proof Pearl)
Lecture notes in computer science·2016· 13 citedOpen Access
Some Remarks on Proof-Theoretic Semantics
Trends in logic·2015· 11 citedOpen Access
GEOMETRISATION OF FIRST-ORDER LOGIC
Bulletin of Symbolic Logic·2015· 39 citedOpen Access
Invited Talk: Coherentisation of First-Order Logic
Lecture notes in computer science·2015
Cut Elimination, Substitution and Normalisation
Outstanding contributions to logic·2014· 7 cited
Algebra, proof theory and applications for an intuitionistic logic of propositions, actions and adjoint modal operators
ACM Transactions on Computational Logic·2013· 6 cited
A cut-free sequent system for Grzegorczyk logic, with an application to the Gödel–McKinsey–Tarski embedding
Journal of Logic and Computation·2013· 16 cited
Algebra, Proof Theory and Applications for a Logic of Propositions, Actions and Adjoint Modal Operators
Electronic Notes in Theoretical Computer Science·2012· 4 citedOpen Access
Proof analysis in intermediate logics
Archive for Mathematical Logic·2011· 76 cited
A Note on Harmony
Journal of Philosophical Logic·2011· 44 cited
Proof-theoretic semantics for a natural language fragment
Linguistics and Philosophy·2010· 54 cited
POSITIVE LOGIC WITH ADJOINT MODALITIES: PROOF THEORY, SEMANTICS, AND REASONING ABOUT INFORMATION
The Review of Symbolic Logic·2010· 13 cited
Proof-Theoretic Semantics for Subsentential Phrases
Studia Logica·2010· 32 cited
Proof-Theoretic Semantics for a Natural Language Fragment
Lecture notes in computer science·2010· 18 cited
Positive Logic with Adjoint Modalities: Proof Theory, Semantics and Reasoning about Information
Electronic Notes in Theoretical Computer Science·2009· 7 citedOpen Access
page 1 of 4Next →

Frequent Co-authors

Sara Negri(6), Luís Pinto(6), Stéphane Lengrand(6), Nissim Francez(4), Mehrnoosh Sadrzadeh(4), James McKinna(3), Julien Truffaut(2), Kevin Hammond(2), Christian Ferdinand(2), Reinhold Heckmann(2), Martin Hofmann(2), Hans‐Wolfgang Loidl(2), Greg Michaelson(2), Robert F. Pointon(2), Norman Scaife(2), Jocelyn Sérot(2), Andrew Wallace(2), Delia Kesner(2), Stéphane Lengrand(2), Walter Tholen(1)