Contraction-Free Sequent Calculi for Intuitionistic Logic Author(s): Roy Dyckhoff Source: The Journal of Symbolic Logic, Vol. 57, No. 3, (Sep., 1992), ppPublished by: Association for Symbolic Logic Stable URL:

First Page		Document Content
Date: 2008-04-13 07:08:42		Contraction-Free Sequent Calculi for Intuitionistic Logic Author(s): Roy Dyckhoff Source: The Journal of Symbolic Logic, Vol. 57, No. 3, (Sep., 1992), ppPublished by: Association for Symbolic Logic Stable URL: Add to Reading List Source URL: rd.host.cs.st-andrews.ac.uk Download Document from Source Website File Size: 236,39 KB Share Document on Facebook