Funder
Deutsche Forschungsgemeinschaft
Publisher
Springer Science and Business Media LLC
Subject
History and Philosophy of Science,Logic
Reference14 articles.
1. Došen, C., Logical Constants: An Essay in Proof Theory, Dissertation, University of Oxford, 1980.
2. Gentzen, G., Über die Existenz unabhängiger Axiomensysteme zu unendlichen Satzsystemen, Mathematische Annalen 107:329–350, 1933.
3. Gentzen, G., Untersuchungen über das logische Schließen. I-II, Mathematische Zeitschrift 39:176–210, 405–431, 1935.
4. Hertz, P., Über Axiomensysteme für beliebige Satzsysteme. I. Teil. Sätze ersten Grades, Mathematische Annalen 87:246–269, 1922.
5. Hertz, P., Über Axiomensysteme für beliebige Satzsysteme. II. Teil. Sätze höheren Grades, Mathematische Annalen 89:76–100, 1923
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Eight Rules for Implication Elimination;Outstanding Contributions to Logic;2024
2. Comments on the Contributions;Outstanding Contributions to Logic;2024
3. The Explosion Calculus;Studia Logica;2019-04-12