Skip to content

Research at St Andrews

Contraction-free sequent calculi in intuitionistic logic: a correction

Research output: Contribution to journalArticle

DOI

Open Access permissions

Open

Abstract

We present a much-shortened proof of a major result (originally due to Vorob’ev) about intuitionistic propositional logic: in essence, a correction of our 1992 article, avoiding several unnecessary definitions
Close

Details

Original languageEnglish
Pages (from-to)1680-1682
Number of pages3
JournalJournal of Symbolic Logic
Volume83
Issue number4
Early online date21 Dec 2018
DOIs
Publication statusPublished - Dec 2018

Discover related content
Find related publications, people, projects and more using interactive charts.

View graph of relations

Related by author

  1. 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

  2. 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

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

  4. 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

Related by journal

  1. Patterns of paradox

    Cook, R. T., Sep 2004, In : Journal of Symbolic Logic. 69, p. 767-774 8 p.

    Research output: Contribution to journalArticle

  2. Frege's unofficial arithmetic

    Rayo, A., Dec 2002, In : Journal of Symbolic Logic. 67, p. 1623-1638 16 p.

    Research output: Contribution to journalArticle

  3. Some combinatorics of imperfect information

    Cameron, P. & Hodges, W., 1 Jan 2001, In : Journal of Symbolic Logic. 66, 2, p. 673-684 12 p.

    Research output: Contribution to journalArticle

  4. Admissibility of Structural Rules for Contraction-Free Systems of Intuitionistic Logic

    Dyckhoff, R. & Negri, S., Dec 2000, In : Journal of Symbolic Logic. 65, p. 1499-1518 20 p.

    Research output: Contribution to journalArticle

ID: 255018207