×
冯·柏拉图，简

Gentzen对自然演绎归一化的证明。 （英语） Zbl 1145.03003号

牛市。符号。日志。 14，第2号，240-257（2008）.
Gentzen的论文“Untersuchungen ueber das logische Schliessen”的早期手写版本是作者（Jan von Plato）于2005年在P.Bernays的收藏中发现的，Gentzen为直觉主义自然演绎提供了一个完整的归一化证明。审查中的论文包括该版本相应部分（第三章）的英文翻译，前面是作者的评论。
审核人：G.E.Mints（斯坦福）

引用于1审查
引用于25文件

MSC公司：

03-03 数学逻辑和基础的历史
01A75号 收集或选择的作品；经典作品的重印或翻译
05年3月 切割消除和正规形定理

关键词：

自然演绎的归一化
PDF格式BibTeX公司 XML格式引用
\textit{J.von Plato}，公牛。符号。日志。14，第2号，240--257（2008；Zbl 1145.03003）
全文： DOI程序

参考文献：

[1] Mathematische Annalen 16第119页–（1933年）
[2] Mathematische Zeitschrift 39第405页–（1934年）
[3] 对逻辑和方法论的贡献，以纪念J.M.Bochenski第1页（1965年）
[4] 逻辑演算（1936）
[5] 基本证明理论（2000）·Zbl 0957.03053号
[6] 逻辑与分析8第91页–（1965）
[7] 自然演绎：一项实证理论研究（1965年）·Zbl 0173.00205号
[8] 逻辑历史与哲学手册（2008）
[9] 《逻辑失去的天才：格哈德的一生》（2007）
[10] 格伦兹·德罗伊申·罗伊克（1928）
[11] 作品集I–V（2003）
[12] 内政部：10.1007/BF01457953·Zbl 0001.26001号 ·doi:10.1007/BF01457953
[13] Zur直觉主义算术与扎伦托里第286页–（1933）
[14] Gerhard Gentzen的论文集（1969年）
[15] Forschungen-zur Logik und zur Grundlegung der exakten Wissenschaften 4第19页–（1938）
[16] 直觉主义和证据理论第409页–（1970）
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。