- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
The structure of type theory
Journal of Philosophy 77 (5):241-259 (1980)
Abstract
Formal principals are isolated to reveal a structure embedded in a wide range of studies, each of which partitions a domain of individuals into types and categories. It is thought that any reasonable theory of types should include these principles.Author's Profile
Other Versions
No versions found
My notes
Similar books and articles
Unrestricted Quantification and the Structure of Type Theory.Salvatore Florio & Nicholas K. Jones - 2021 - Philosophy and Phenomenological Research 102 (1):44-64.
A note on Russell's paradox in locally cartesian closed categories.Andrew M. Pitts & Paul Taylor - 1989 - Studia Logica 48 (3):377 - 387.
Categorical and algebraic aspects of Martin-löf type theory.Adam Obtułowicz - 1989 - Studia Logica 48 (3):299 - 317.
Meta-relation and ontology closure in Conceptual Structure Theory.Philip H. P. Nguyen, Ken Kaneiwa, Dan R. Corbett & Minh-Quang Nguyen - 2009 - Artificial Intelligence and Law 17 (4):291-320.
On enveloping type-definable structures.Cédric Milliet - 2011 - Journal of Symbolic Logic 76 (3):1023 - 1034.
Type-Theoretical Interpretation and Generalization of Phrase Structure Grammar.Aarne Ranta - 1995 - Logic Journal of the IGPL 3 (2-3):319-342.
An Intensional Type Theory: Motivation and Cut-Elimination.Paul C. Gilmore - 2001 - Journal of Symbolic Logic 66 (1):383-400.
Analytics
Added to PP
2009-01-28
Downloads
214 (#118,710)
6 months
13 (#253,952)
2009-01-28
Downloads
214 (#118,710)
6 months
13 (#253,952)
Historical graph of downloads
Author's Profile
Citations of this work
La théorie des catégories de Sommers: une nouvelle introduction.George Englebretsen - 1988 - Dialogue 27 (3):451-473.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-559df78dcc-g6qm9 uwo