Frege Structures and the Notions of Proposition, Truth and Set

Studies in Logic and the Foundations of Mathematics

Volumn 101, Issue C, 1980, Pages 31-59

  Aczel, Peter ^a  

^a UNIVERSITY OF MANCHESTER   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 77956968047     PISSN: 0049237X     EISSN: None     Source Type: Book Series    
DOI: 10.1016/S0049-237X(08)71252-7     Document Type: Article

References (18)

1. P. ACZEL [1977] The strength of Martin-Löf's intuitionistic type theory with one universe, in: Proceedings of the Symposium on Mathematical Logic (Oulu 1974), edited by S. Miettinen and J. Vaananen, Report No. 2 of Dept. Philosophy, University of Helsinki, pp. 1–32.
2. The type theoretic interpretation of constructive set theory. Macintyre, A., Pachol-ski, L., Paris, J., (eds.) Logic Colloquium ‘77, 1979, North-Holland, Amsterdam.
3. Barendregt, H.P., The type free lambda calculus. Barwise, J., (eds.) Handbook of Mathematical Logic, 1977, North-Holland, Amsterdam, 1091–1132.
4. Beeson, M.J., Principles of continuous choice and continuity of functions in formal systems for constructive mathematics. Ann. Math. Logic 12 (1977), 249–322.
5. Church, A., A set of postulates for the foundations of logic. Ann. Math. 33 (1932), 346–366 and 34, 839–864, 1933.
6. Curry, H.B., et al. Combinatory Logic, 2, 1972, North-Holland, Amsterdam.
7. Feferman, S., A language and axioms for explicit mathematics. Algebra and Logic, Lecture Notes in Mathematics, 450, 1975, Springer, Berlin, 87–139.
8. Recursion theory and set theory: a marriage of convenience. Fenstad, J.E., Gandy, R.O., Sacks, G.E., (eds.) Generalised Recursion Theory II, 1978, North-Holland, Amsterdam, 55–98.
9. G. FREGE [1893&1903] Grundgesetze der Arithmetik, begriffsschriftlich abgeleitet Vols. 1 and 2 (Jena), partial english translation in Furth (1964).
10. Furth, M., The Basic Laws of Arithmetic, 1964, Univ. of Los Angeles Press, Berkeley and Los Angeles.
11. Martin-löf, P., An intuitionistic theory of types: predicative part. Rose, H.E., Shepherdson, J.C., (eds.) Logic Colloquim ‘73, 1975, North-Holland, Amsterdam, 73–118.
12. Shoenfield, J.R., Axioms of set theory. Barwise, J., (eds.) Handbook of Mathematical Logic, 1977, North-Holland, Amsterdam, 321–344.
13. Scott, D., Continuous lattices. Lawvere, F.W., (eds.) Toposes, Algebraic Geometry and Logic, 1972, Springer, Berlin, 97–136 Lecture Notes in Mathematics, 274.
14. [1974] Axiomatizing set theory, in: Proceedings of the Summer Institute on Axiomatic Set Theory, 1967, Part II, edited by T. Jech, AMS Proceedings of Symposia, volume 13, Part II, pp. 207–214.
15. [1975a] Lambda calculus and recursion theory, in: Proceedings of the Third Scandinavian Logic Symposium, edited by S. Kanger (North-Holland, Amsterdam) pp. 154–193.
16. Combinators and classes. Böhm, C., (eds.) γ-Calculus and Computer Science, 1975, Springer, Berlin, 1–26 Lecture Notes in Computer Science, 37.
17. J. SMITH [1978] On the relation between a type theoretic and a logical formulation of the theory of constructions. Dissertation, (Dept. of Mathematics, Göteborg, Sweden).
18. S. STENLUND [1975] Descriptions in intuitionistic logic, in: Proceedings of the Third Scandinavian Logic Symposium, edited by S. Kanger (North-Holland, Amsterdam) pp. 197–212.