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. Indefinite proof and inversions of syllogisms

    Dyckhoff, R., 14 Jul 2018, (Accepted/In press) In : Bulletin of Symbolic Logic. 13 p.

    Research output: Contribution to journalArticle

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

    Bobzien, S. & Dyckhoff, R., 20 Apr 2018, In : Studia Logica. First Online, 23 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