Access

You are not currently logged in.

Access your personal account or get JSTOR access through your library or other institution:

login

Log in to your personal account or through your institution.

If You Use a Screen Reader

This content is available through Read Online (Free) program, which relies on page scans. Since scans are not currently available to screen readers, please contact JSTOR User Support for access. We'll provide a PDF copy for your screen reader.

Admissibility of Structural Rules for Contraction-Free Systems of Intuitionistic Logic

Roy Dyckhoff and Sara Negri
The Journal of Symbolic Logic
Vol. 65, No. 4 (Dec., 2000), pp. 1499-1518
DOI: 10.2307/2695061
Stable URL: http://www.jstor.org/stable/2695061
Page Count: 20
  • Read Online (Free)
  • Download ($10.00)
  • Subscribe ($19.50)
  • Cite this Item
Since scans are not currently available to screen readers, please contact JSTOR User Support for access. We'll provide a PDF copy for your screen reader.
Admissibility of Structural Rules for Contraction-Free Systems of Intuitionistic Logic
Preview not available

Abstract

We give a direct proof of admissibility of cut and contraction for the contraction-free sequent calculus G4ip for intuitionistic propositional logic and for a corresponding multi-succedent calculus: this proof extends easily in the presence of quantifiers, in contrast to other, indirect, proofs. i.e., those which use induction on sequent weight or appeal to admissibility of rules in other calculi.

Page Thumbnails

  • Thumbnail: Page 
1499
    1499
  • Thumbnail: Page 
1500
    1500
  • Thumbnail: Page 
1501
    1501
  • Thumbnail: Page 
1502
    1502
  • Thumbnail: Page 
1503
    1503
  • Thumbnail: Page 
1504
    1504
  • Thumbnail: Page 
1505
    1505
  • Thumbnail: Page 
1506
    1506
  • Thumbnail: Page 
1507
    1507
  • Thumbnail: Page 
1508
    1508
  • Thumbnail: Page 
1509
    1509
  • Thumbnail: Page 
1510
    1510
  • Thumbnail: Page 
1511
    1511
  • Thumbnail: Page 
1512
    1512
  • Thumbnail: Page 
1513
    1513
  • Thumbnail: Page 
1514
    1514
  • Thumbnail: Page 
1515
    1515
  • Thumbnail: Page 
1516
    1516
  • Thumbnail: Page 
1517
    1517
  • Thumbnail: Page 
1518
    1518