Review: P. B. Andrews, A Transfinite Type Theory with Type Variables [Book Review]

Journal of Symbolic Logic 33 (1):112-113 (1968)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



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

External links

  • This entry has no external links. Add one.
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

A transfinite type theory with type variables.P. B. Andrews - 1965 - Amsterdam,: North-Holland Pub. Co..
Supra-logic: using transfinite type theory with type variables for paraconsistency.Jørgen Villadsen - 2005 - Journal of Applied Non-Classical Logics 15 (1):45-58.
Review: Shoji Maehara, A System of Simple Type Theory with Type Variables. [REVIEW]Bede Rundle - 1974 - Journal of Symbolic Logic 39 (3):604-605.
On the theory of relations based on the theory of objects.S. Kaczorowski - 1962 - Studia Logica 13 (1):37-38.
What is the type-1/type-2 distinction?Nick Chater - 1997 - Behavioral and Brain Sciences 20 (1):68-69.
Towards transfinite type theory: rereading Tarski’s Wahrheitsbegriff.Iris Loeb - 2014 - Synthese 191 (10):2281-2299.
The Generalised Type-Theoretic Interpretation of Constructive Set Theory.Nicola Gambino & Peter Aczel - 2006 - Journal of Symbolic Logic 71 (1):67 - 103.
Cut Elimination in Transfinite Type Theory.Kenneth A. Bowen - 1973 - Mathematical Logic Quarterly 19 (8‐10):141-162.
An interpretation of Martin-löf's type theory in a type-free theory of propositions.Jan Smith - 1984 - Journal of Symbolic Logic 49 (3):730-753.
A construction of type: Type in Martin-löf's partial type theory with one universe.Erik Palmgren - 1991 - Journal of Symbolic Logic 56 (3):1012-1015.
Type Theory with Records and Unification-based Grammar.Robin Cooper - unknown
Treatise on intuitionistic type theory.Johan Georg Granström - 2011 - New York: Springer.
Resolution in type theory.Peter B. Andrews - 1971 - Journal of Symbolic Logic 36 (3):414-432.

Analytics

Added to PP
2013-11-22

Downloads
0

6 months
0

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references