Roy Dyckhoff - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 38 from 38

2019

Analyticity, Balance and Non-admissibility of $$\varvec{Cut}$$ Cut in Stoic LogicSusanne Bobzien, Roy Dyckhoff. sLogica, 107(2):375-397, 2019. [doi]

Indirect Proof and Inversions of SyllogismsRoy Dyckhoff. bsl, 25(2):196-207, 2019. [doi]

2018

Contraction-Free Sequent Calculi for intuitionistic Logic: a correctionRoy Dyckhoff. JSYML, 83(4):1680-1682, 2018. [doi]

2017

Commentary on Grigori Mints' "Classical and Intuitionistic Geometric Logic"Roy Dyckhoff, Sara Negri. flap, 4(4), 2017. [doi]

2016

POSIX Lexing with Derivatives of Regular ExpressionsFahad Ausaf, Roy Dyckhoff, Christian Urban. afp, 2016, 2016. [doi]

POSIX Lexing with Derivatives of Regular Expressions (Proof Pearl)Fahad Ausaf, Roy Dyckhoff, Christian Urban. itp 2016: 69-86 [doi]

A cut-free sequent system for Grzegorczyk logic, with an application to the Gödel-McKinsey-Tarski embeddingRoy Dyckhoff, Sara Negri. logcom, 26(1):169-187, 2016. [doi]

Some Remarks on Proof-Theoretic SemanticsRoy Dyckhoff. In Thomas Piecha, Peter Schroeder-Heister, editors, Advances in Proof-Theoretic Semantics. Volume 43 of Trends in Logic, pages 79-93, Springer, 2016. [doi]

2015

Invited Talk: Coherentisation of First-Order LogicRoy Dyckhoff. tableaux 2015: 3-5 [doi]

Geometrisation of First-order LogicRoy Dyckhoff, Sara Negri. bsl, 21(2):123-163, 2015. [doi]

2013

Algebra, proof theory and applications for an intuitionistic logic of propositions, actions and adjoint modal operatorsRoy Dyckhoff, Mehrnoosh Sadrzadeh, Julien Truffaut. tocl, 14(4):34, 2013. [doi]

2012

Algebra, Proof Theory and Applications for a Logic of Propositions, Actions and Adjoint Modal OperatorsRoy Dyckhoff, Mehrnoosh Sadrzadeh, Julien Truffaut. ENTCS, 286:157-172, 2012. [doi]

Proof analysis in intermediate logicsRoy Dyckhoff, Sara Negri. AML, 51(1-2):71-92, 2012. [doi]

A Note on HarmonyNissim Francez, Roy Dyckhoff. jphil, 41(3):613-628, 2012. [doi]

2010

Proof-Theoretic Semantics for Subsentential PhrasesNissim Francez, Roy Dyckhoff, Gilad Ben-Avi. sLogica, 94(3):381-401, 2010. [doi]

Positive Logic with adjoint Modalities: Proof Theory, Semantics, and Reasoning about InformationMehrnoosh Sadrzadeh, Roy Dyckhoff. rsl, 3(3):351-373, 2010. [doi]

2009

Proof-Theoretic Semantics for a Natural Language FragmentNissim Francez, Roy Dyckhoff. mol 2010: 56-71 [doi]

Positive Logic with Adjoint Modalities: Proof Theory, Semantics and Reasoning about InformationMehrnoosh Sadrzadeh, Roy Dyckhoff. ENTCS, 249:451-470, 2009. [doi]

2007

Call-by-Value lambda-calculus and LJQRoy Dyckhoff, Stéphane Lengrand. logcom, 17(6):1109-1134, 2007. [doi]

2006

2005

The Embounded project (project start paper)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. sfp 2007: 195-210

2003

Strong Normalization of Herbelin s Explicit Substitution Calculus with Substitution PropagationRoy Dyckhoff, Christian Urban. logcom, 13(5):689-706, 2003. [doi]

2001

Admissibility of Structural Rules for Extensions of Contraction-Free Sequent CalculiRoy Dyckhoff, Sara Negri. igpl, 9(4):541-548, 2001. [doi]

EditorialRoy Dyckhoff, Heinrich Wansing. sLogica, 69(2):195-196, 2001.

EditorialRoy Dyckhoff, Heinrich Wansing. sLogica, 69(1):3-4, 2001.

2000

Admissibility of Structural Rules for Contraction-Free Systems of Intuitionistic LogicRoy Dyckhoff, Sara Negri. JSYML, 65(4):1499-1518, 2000.

1999

Permutability of Proofs in Intuitionistic Sequent CalculiRoy Dyckhoff, Luis Pinto. TCS, 212(1-2):141-155, 1999. [doi]

A Deterministic Terminating Sequent Calculus for Gödel-Dummett logicRoy Dyckhoff. igpl, 7(3):319-326, 1999. [doi]

1998

Cut-Elimination and a Permutation-Free Sequent Calculus for Intuitionistic LogicRoy Dyckhoff, Luis Pinto. sLogica, 60(1):107-118, 1998.

Sequent Calculi for the Normal Terms of the - and - CalculiLuis Pinto, Roy Dyckhoff. ENTCS, 17:1-14, 1998. [doi]

1994

Uniform Proofs and Natural DeductionRoy Dyckhoff, Luis Pinto. ICLP 1994:

Proof Search (Tutorial)Roy Dyckhoff, Natarajan Shankar. ICLP 1994:

1993

Introduction to ELP 93Roy Dyckhoff. elp 1994: 1-2

1992

Contraction-Free Sequent Calculi for Intuitionistic LogicRoy Dyckhoff. JSYML, 57(3):795-807, 1992.

Sign in or sign up to see more results.

runs on WebDSL