Acknowledgement
Supported by : National Research Foundation of Korea[NRF]
References
- 박준용 (2007), "프레게 제한 - 수의 정의와 적용 가능성", 논리연구, 10집 2호. pp. 47-107.
- 이종권 (2000), "프레게 산수 체계에서의 페아노 공리의 연역", 논리연구, 3집, pp. 53-93.
- Aczel, P. (1977), "An Introduction to Inductive Definitions". In Barwise (1977), pp. 739-201.
- Barwise, J. (1977), Handbook of Mathematical Logic, North-Holland.
- Boolos, G. (1987), "The Consistency of Frege's Foundations of Arithmetic". In Thomson (1987), pp. 3-20
- Boolos, G. (1998), Logic, Logic, and Logic, Harvard University Press.
- Church, A. (1940), "A formulation of the simple theory of types", Journal of Symbolic Logic, 5 (2), pp. 56-68. https://doi.org/10.2307/2266170
- Coquand, T. (1985), Une Theorie des Constructions, PhD thesis, University Paris VII.
- Coquand, T. and Paulin-Mohring, C. (1989), "Inductively defined types", Lecture Notes in Computer Science, 417, pp. 50-56.
- Dummett, M. (1991), Frege: Philosophy of Mathematics, Duckworth.
- Ebert, P. and Rossberg (2013), M. Gottlog Frege: Basic Laws of Arithmetic, Oxford University Press.
- Feferman, S. (2005), "Impredicativity", in S. Shapiro (ed.), The Oxford Handbook of Philosophy of Mathematics and Logic, Oxford University Press, pp. 590-624.
- Ferreira, F. (2005), "Amending Frege's Grundgesetze der Arithmetik", Synthese, 147 (1), pp. 3-19. https://doi.org/10.1007/s11229-004-6204-8
- Frege, G. (1879), Begriffsschrift, eine der arithmetischen nachgebildete Formelsprache des reinen Denkens, Verlag von Nebert.
- Frege, G. (1969), Nachgelassene Schriften. In Hermes, H., Kambartel, F. and Kaulbach, F. (Eds.), Felix Meiner.
- Girard, J.-Y. (1972), Interpretation fonctionelle et eleimination des coupures dans l'arithmetique d'ordre superieure, PhD thesis, Universite Paris 7.
- Girard, J.-Y., Taylor, P. and Lafont, Y. (1989), Proofs and Types, Cambridge University Press.
- Godel, K. (1958), "Uber eine bisher noch nicht benutzte Erweiterung des finiten Standpunktes", Dialectica, 12, pp. 280-287. https://doi.org/10.1111/j.1746-8361.1958.tb01464.x
- Heck, R. (1995), "Definition by Induction in Frege's Grundgesetze der Arithmetik". In Schirn (1995), pp. 200-233.
- Heck, R. (1996), "The consistency of predicative fragments of Frege's Grundgesetze der Arithmetik", History and Philosophy of Logic, 17, pp. 209-220. https://doi.org/10.1080/01445349608837265
- Hindley, R. (1997), Basic Simple Type Theory, Cambridge University Press.
- Korte, T. (2010), "Frege's Begriffsschrift as a lingua characteristica", Synthese, 174 (2), pp. 283-294. https://doi.org/10.1007/s11229-008-9422-7
- Lee, G. and Werner, B. (2011), "Proof-irrelevant model of CC with predicative induction and judgmental equality", Logical Methods in Computer Science, 7 (4:05), pp. 1-25.
- Martin-Lof, P. (1975), "An intuitionistic theory of types: Predicative Part", in H. E. Rose and J. C. Sheperdson (eds.), Proceedings of Logic Colloquium 73', North-Holland, pp. 73-118.
- Martin-Lof, P. (1980), Intuitionistic Type Theory, Bibliopolis.
- Paulin-Mohring, C. (1997), Le systeme Coq, These d'habilitation, ENS Lyon.
- Pfenning, F. and Paulin-Mohring, C. (1990), "Inductively defined types in the calculus of constructions", Lecture Notes in Computer Science, 442, pp. 208-228.
- Reynolds, J. (1974), "Towards a theory of type structure", Lecture Notes in Computer Science, 19, pp. 408-425.
- Russell, B. (1908), "Mathematical logic as based on the theory of types", American Journal of Mathematics, 30 (3), pp. 222-262. https://doi.org/10.2307/2369948
- Schirn, M. (1995), Frege: Tradition and Influence, de Gruyter,
- Tait, W.W. (1967), "Intensional interpretations of functionals of finte type I", Journal of Symbolic Logic, 32 (2), pp. 198-212. https://doi.org/10.2307/2271658
- Thomson, J. J. (1987), On being and saying: Essays for Richard Cartwright, MIT Press.
- Weber, H. (1892), "Leopold Kronecker", Jahresbericht der Deutschen Mathematiker-Verninigung, 2, pp.5-23.
- Wehmeier, K. F. (1999), "Consistent fragments of grundgesetze and the existence of non-logical objects", Synthese, 121, pp. 309-328. https://doi.org/10.1023/A:1005203526185
- Werner, B. (1997), "Sets in Types, Types in Sets", Lecture Notes in Computer Science, 1281, pp. 530-546.
- Whitehead, A. and Russell, B. (1910, 1912, 1913), Principia Mathematica (3 volumes), Cambridge University Press.
- Zermelo, E. (1908), "Untersuchungen uber die Grundlagen der Mengenlehre I", Mathematische Annalen, 65 (2), pp. 261-281. https://doi.org/10.1007/BF01449999