Publisher
Springer Science and Business Media LLC
Subject
General Social Sciences,Philosophy
Reference27 articles.
1. Aczel, P. (1980). Frege structures and the notions of proposition, truth and set. In J. Barwise, Keisler, & E. Keenan (eds.), The Kleene Symposium, North Holland Studies in Logic, North Holland (pp. 31–39).
2. Carnap, R. (1947). Meaning and necessity. Chicago: University of Chicago Press.
3. Church, A. (1940). A formulation of the simple theory of types. The Journal of Symbolic Logic, 5(2), 56–68.
4. Cooper, R. (2012). Type theory and semantics in flux. In R. Kempson, T. Fernando, & N. Asher (Eds.), Philosophy of linguistics (pp. 271–323). Amsterdam: Elsevier.
5. Curry, H. B., & Feys, R. (1958). Combinatory logic, Vol. 1 of studies in logic. Amsterdam: North Holland.
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A Primer on Hyperintensionality;Hyperintensionality and Normativity;2019