Skip to content

Research at St Andrews

Centre for Interdisciplinary Research in Computational Algebra

  1. 2016
  2. 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)

  3. 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)

ID: 1395

Top