Sentences of type theory: The only sentences preserved under isomorphisms

Journal of Symbolic Logic 56 (3):932-948 (1991)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,197

External links

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

Through your library

Similar books and articles

Biological adaptation.Ronald Munson - 1971 - Philosophy of Science 38 (2):200-215.
Questions.Peter Hanks - 2006 - In Donald M. Borchert (ed.), Encyclopedia of Philosophy, Vol. 10. Detroit et al.: Thomson Gale. pp. 32-37.
Schiffer on communication.Peter Pagin - 2003 - Facta Philosophica 5 (1):25-48.
Analytic/synthetic and semantic theory.Leonard Linsky - 1970 - Synthese 21 (3-4):439 - 448.
Time, tense, truth.Katalin Farkas - 2008 - Synthese 160 (2):269 - 284.
Disquotational truth and analyticity.Volker Halbach - 2001 - Journal of Symbolic Logic 66 (4):1959-1973.

Analytics

Added to PP
2009-01-28

Downloads
41 (#389,886)

6 months
14 (#182,887)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

The strength of Mac Lane set theory.A. R. D. Mathias - 2001 - Annals of Pure and Applied Logic 110 (1-3):107-234.
Estruturas, Modelos e os Fundamentos da Abordagem Semântica.Jonas R. Becker Arenhart & Fernando T. F. Moraes - 2010 - Principia: An International Journal of Epistemology 14 (1):15-30.

Add more citations

References found in this work

No references found.

Add more references