Correspondence between cut-elimination in the sequent calculus and normalization in natural deduction for the negative fragment of intuitionistic predicate logic

Author(s)

• Zucker, J. I.

Bibliographic Information

Correspondence between cut-elimination in the sequent calculus and normalization in natural deduction for the negative fragment of intuitionistic predicate logic

J.I. Zucker

（Report, 72-03-04）

University of Amsterdam Department of Mathematics, 1972

• Part 1
• Part 2

Note

Part I: §§ 1-2, Part II: §§3-6

Details

• NCID: BA17926488
• Country Code: ne
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Amsterdam
• Pages/Volumes: 2 v.
• Size: 30 cm
• Parent Bibliography ID:
  • BB13374037