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.

A Short Proof of the Strong Normalization of Classical Natural Deduction with Disjunction

René David and Karim Nour
The Journal of Symbolic Logic
Vol. 68, No. 4 (Dec., 2003), pp. 1277-1288
Stable URL: http://www.jstor.org/stable/4147762
Page Count: 12
  • 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.
A Short Proof of the Strong Normalization of Classical Natural Deduction with Disjunction
Preview not available

Abstract

We give a direct, purely arithmetical and elementary proof of the strong normalization of the cut-elimination procedure for full (i.e., in presence of all the usual connectives) classical natural deduction.

Page Thumbnails

  • Thumbnail: Page 
1277
    1277
  • Thumbnail: Page 
1278
    1278
  • Thumbnail: Page 
1279
    1279
  • Thumbnail: Page 
1280
    1280
  • Thumbnail: Page 
1281
    1281
  • Thumbnail: Page 
1282
    1282
  • Thumbnail: Page 
1283
    1283
  • Thumbnail: Page 
1284
    1284
  • Thumbnail: Page 
1285
    1285
  • Thumbnail: Page 
1286
    1286
  • Thumbnail: Page 
1287
    1287
  • Thumbnail: Page 
1288
    1288