Contraction-free sequent calculi in intuitionistic logic: a correction

Roy Dyckhoff

doi:10.1017/jsl.2018.38

Contraction-free sequent calculi in intuitionistic logic: a correction

Roy Dyckhoff

Research output: Contribution to journal › Article › peer-review

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

Original language	English
Pages (from-to)	1680-1682
Number of pages	3
Journal	Journal of Symbolic Logic
Volume	83
Issue number	4
Early online date	21 Dec 2018
DOIs	https://doi.org/10.1017/jsl.2018.38
Publication status	Published - Dec 2018

Access to Document

10.1017/jsl.2018.38

Dyckhoff-2018-contraction-free-JSL-1680
© 2018, Association for Symbolic Logic. This work has been made available online in accordance with the publisher's policies. This is the final published version of the work, which was originally published at https://doi.org/10.1017/jsl.2018.38
Final published version, 75.7 KB

Cite this

@article{19711f3ae6e9403db0ccc4ed3f9be55c,

title = "Contraction-free sequent calculi in intuitionistic logic: a correction",

abstract = "We present a much-shortened proof of a major result (originally due to Vorob{\textquoteright}ev) about intuitionistic propositional logic: in essence, a correction of our 1992 article, avoiding several unnecessary definitions",

author = "Roy Dyckhoff",

year = "2018",

month = dec,

doi = "10.1017/jsl.2018.38",

language = "English",

volume = "83",

pages = "1680--1682",

journal = "Journal of Symbolic Logic",

issn = "0022-4812",

publisher = "Cambridge University Press",

number = "4",

}

TY - JOUR

T1 - Contraction-free sequent calculi in intuitionistic logic

T2 - a correction

AU - Dyckhoff, Roy

PY - 2018/12

Y1 - 2018/12

N2 - 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

AB - 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

U2 - 10.1017/jsl.2018.38

DO - 10.1017/jsl.2018.38

M3 - Article

SN - 0022-4812

VL - 83

SP - 1680

EP - 1682

JO - Journal of Symbolic Logic

JF - Journal of Symbolic Logic

IS - 4

ER -

Contraction-free sequent calculi in intuitionistic logic: a correction

Abstract

Access to Document

Fingerprint

Cite this