Frege Structures and the notions of proposition, truth and set

Journal of Symbolic Logic 51 (1):244-246 (1980)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2273967

Other Versions

edition Aczel, Peter; Barwise, Jon; Keisler, H. Jerome; Kunen, Kenneth (1986) "Frege Structures and the Notions of Proposition, Truth and Set". Journal of Symbolic Logic 51(1):244-246

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,174

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Peter Aczel. Frege structures and the notions of proposition, truth and set. The Kleene Symposium, Proceedings of the symposium held June 18–24, 1978 at Madison, Wisconsin, U.S.A., edited by Jon Barwise, H. Jerome Keisler, and Kenneth Kunen, Studies in logic and the foundations of mathematics, vol. 101, North-Holland Publishing Company, Amsterdam, New York, and Oxford, 1980, pp. 31–59. [REVIEW]William S. Hatcher - 1986 - Journal of Symbolic Logic 51 (1):244-246.
Frege structures and the notions of truth and proposition.P. Aczel - 1980 - In Stephen Cole Kleene, Jon Barwise, H. Jerome Keisler & Kenneth Kunen (eds.), The Kleene Symposium: proceedings of the symposium held June 18-24, 1978 at Madison, Wisconsin, U.S.A. New York: sole distributors for the U.S.A. and Canada, Elsevier North-Holland.
Review: Peter Aczel, Jon Barwise, Non-Well-founded Sets. [REVIEW]M. Boffa - 1989 - Journal of Symbolic Logic 54 (3):1111-1112.
Frege Structures.Dan Cooperstock - 1980
The universal set and diagonalization in Frege structures.Reinhard Kahle - 2011 - Review of Symbolic Logic 4 (2):205-218.
Review: Peter Aczel, Seppo Miettinen, Jouko Vaananen, The Strength of Martin-Lof's Intuitionistic Type Theory with One Universe. [REVIEW]Wim Veldman - 1984 - Journal of Symbolic Logic 49 (1):313-313.
Aczel Peter. The type theoretic interpretation of constructive set theory. Logic Colloquium '77, Proceedings of the colloquium held in Wrocław, August 1977, edited by Macintyre Angus, Pacholski Leszek, and Paris Jeff, Studies in logic and the foundations of mathematics, vol. 96, North-Holland Publishing Company, Amsterdam, New York, and Oxford, 1978, pp. 55–66. [REVIEW]Wim Veldman - 1984 - Journal of Symbolic Logic 49 (1):313-314.

Analytics

Added to PP
2011-07-18

Downloads
95 (#222,339)

6 months
6 (#869,904)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Reference to Abstract Objects in Discourse.Nicholas Asher - 1993 - Dordrecht, Boston, and London: Kluwer.
Axiomatic theories of truth.Volker Halbach - 2008 - Stanford Encyclopedia of Philosophy.
Semantics and property theory.Gennaro Chierchia & Raymond Turner - 1988 - Linguistics and Philosophy 11 (3):261 - 302.
A solution to Frege's puzzle.George Bealer - 1993 - Philosophical Perspectives 7:17-60.

View all 53 citations / Add more citations

References found in this work

No references found.

Add more references