Funder
Deutsche Forschungsgemeinschaft
Ministerio de Economía, Industria y Competitividad, Gobierno de España
Publisher
Springer Science and Business Media LLC
Subject
General Social Sciences,Philosophy
Reference28 articles.
1. Crabbé, M. (n.d.) Non-normalisation de ZF/Counterexample to normalisation for ZF. Sketch of the result presented at the Proof Theory Symposium held in Kiel in 1974. http://www.logic-center.be/Publications/Bibliotheque/contreexemple.pdf.
2. Ekman, J. (1994). Normal proofs in set theory. Ph.D. thesis, University of Göteborg.
3. Ekman, J. (1998). Propositions in propositional logic provable only by indirect proofs. Mathematical Logic Quarterly, 44, 69–91.
4. Gentzen, G. (1935). Untersuchungen über das logische Schließen. Mathematische Zeitschrift, 39, 176–210, 405–431. Engl. transl. ‘Investigations into logical deduction’, in M. E. Szabo (Ed.), The collected papers of Gerhard Gentzen, 1969 (pp. 68–131). North-Holland.
5. Hallnäs, L. (1988). On normalization of proofs in set theory. Dissertationes Mathematicae, Vol. 261, Institute of Mathematics of the Polish Academy of Sciences, 1988.
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A normal paradox;ANALYSIS-UK;2024
2. Which ‘Intensional Paradoxes’ are Paradoxes?;Journal of Philosophical Logic;2024-06-19
3. Comments on the Contributions;Outstanding Contributions to Logic;2024