Skip to content

Research at St Andrews

Roy Dyckhoff

Person

  1. 2019
  2. Published

    Analyticity, balance and non-admissibility of Cut in Stoic Logic

    Bobzien, S. & Dyckhoff, R., Apr 2019, In : Studia Logica. 107, 2, p. 375–397 23 p.

    Research output: Contribution to journalArticle

  3. Published

    Indefinite proof and inversions of syllogisms

    Dyckhoff, R., 2019, In : Bulletin of Symbolic Logic. 25, 2, p. 196-207 12 p.

    Research output: Contribution to journalArticle

  4. 2018
  5. Published

    Contraction-free sequent calculi in intuitionistic logic: a correction

    Dyckhoff, R., Dec 2018, In : Journal of Symbolic Logic. 83, 4, p. 1680-1682 3 p.

    Research output: Contribution to journalArticle

  6. 2017
  7. Published
  8. 2016
  9. Published

    Intuitionistic decision procedures since Gentzen

    Dyckhoff, R., 5 May 2016, Advances in Proof Theory. Kahle, R., Strahm, T. & Studer, T. (eds.). Birkhäuser Basel, p. 245-267 (Progress in Computer Science and Applied Logic; vol. 28).

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

  10. Published

    POSIX lexing with derivatives of regular expressions (proof pearl)

    Ausaf, F., Dyckhoff, R. & Urban, C., 2016, Interactive Theorem Proving: 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings. Blanchette, J. C. & Merz, S. (eds.). Springer, p. 69-86 18 p. (Lecture Notes in Computer Science; vol. 9807).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  11. Published

    Some remarks on proof-theoretic semantics

    Dyckhoff, R., 2016, Advances in Proof-Theoretic Semantics. Piecha, T. & Schroeder-Heister, P. (eds.). Springer, p. 79-93 15 p. (Trends in Logic; vol. 43).

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

  12. 2015
  13. Published

    Cut-elimination, substitution and normalisation

    Dyckhoff, R., 2015, Dag Prawitz on Proofs and Meaning. Wansing, H. (ed.). Springer, p. 163-187 (Outstanding Contributions to Logic; vol. 7).

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

  14. Published

    Geometrisation of first-order logic

    Dyckhoff, R. & Negri, S., Jun 2015, In : Bulletin of Symbolic Logic. 21, 2, p. 123–163 41 p.

    Research output: Contribution to journalArticle

  15. 2013
  16. Published
Previous 1 2 3 4 5 6 Next
Top