Theories of presheaf type

Journal of Symbolic Logic 69 (3):923-934 (2004)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2178/jsl/1096901776

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,881

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

The evidential support theory of conditionals.Igor Douven - 2008 - Synthese 164 (1):19-44.
Functionalism and type-type identity theories.Frank Jackson, Robert Pargetter & Elizabeth W. Prior - 1982 - Philosophical Studies 42 (September):209-25.
What is the type-1/type-2 distinction?Nick Chater - 1997 - Behavioral and Brain Sciences 20 (1):68-69.
Le véritable retour des définitions.Pierre Poirier & Guillaume Beaulac - 2011 - Dialogue 50 (1):153-164.
Selection type theories.Lindley Darden & Joseph A. Cain - 1989 - Philosophy of Science 56 (1):106-129.
Artificial intelligence—A personal view.David Marr - 1977 - Artificial Intelligence 9 (September):37-48.
A counter-example to theatrical type theories.John Dilworth - 2003 - Philosophia 31 (1-2):165-170.
On the binding group in simple theories.Ziv Shami & Frank O. Wagner - 2002 - Journal of Symbolic Logic 67 (3):1016-1024.
Axiomatic theories of truth.Volker Halbach - 2008 - Stanford Encyclopedia of Philosophy.
Lascar strong types in some simple theories.Steven Buechler - 1999 - Journal of Symbolic Logic 64 (2):817-824.

Analytics

Added to PP
2009-02-05

Downloads
33 (#484,501)

6 months
11 (#237,895)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

On duality and model theory for polyadic spaces.Sam van Gool & Jérémie Marquès - 2024 - Annals of Pure and Applied Logic 175 (2):103388.

Add more citations

References found in this work

No references found.

Add more references