Contraction-free sequent calculi in intuitionistic logic : a correction
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
Citation
Dyckhoff , R 2018 , ' Contraction-free sequent calculi in intuitionistic logic : a correction ' , Journal of Symbolic Logic , vol. 83 , no. 4 , pp. 1680-1682 . https://doi.org/10.1017/jsl.2018.38
Publication
Journal of Symbolic Logic
Status
Peer reviewed
ISSN
0022-4812Type
Journal article
Collections
Items in the St Andrews Research Repository are protected by copyright, with all rights reserved, unless otherwise indicated.