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

著者

• Zucker, J. I.

書誌事項

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

注記

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

詳細情報

• NII書誌ID(NCID): BA17926488
• 出版国コード: ne
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Amsterdam
• ページ数/冊数: 2 v.
• 大きさ: 30 cm
• 親書誌ID:
  • BB13374037