Contraction-Free Sequent Calculi for Intuitionistic Logic

Roy Dyckhoff

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

Keywords

@article{015be69667a54c76bfbd7be37eeed6bf,

title = "Contraction-Free Sequent Calculi for Intuitionistic Logic",

keywords = "PROOF",

author = "Roy Dyckhoff",

year = "1992",

month = sep,

language = "English",

volume = "57",

pages = "795--807",

journal = "Journal of Symbolic Logic",

issn = "0022-4812",

publisher = "Cambridge University Press",

}