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 need an accessible version of this item please contact JSTOR User Support

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)
  • Cite this Item
If you need an accessible version of this item please contact JSTOR User Support
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