Reductions in the Theory of Types

Journal of Symbolic Logic 31 (4):660-660 (1966)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2269726

Links

PhilArchive



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

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

Review: K. Jaakko Hintikka, Reductions in the Theory of Types. [REVIEW]W. B. Pitt - 1966 - Journal of Symbolic Logic 31 (4):660-660.
Two Papers on Symbolic Logic: Form and Content in Quantification Theory and Reductions in the Theory of Types.Jaakko Hintikka - 1955 - [Suomalaisen Kirjallisuuden Seuran Kirjapainon,].
Jaakko Hintikka K.. Reductions in the theory of types. Two papers on symbolic logic, Acta philosophica Fennica no. 8, Helsinki 1955, pp. 57–115. [REVIEW]W. B. Pitt - 1966 - Journal of Symbolic Logic 31 (4):660-660.
An interpretation of martin‐löf's constructive theory of types in elementary topos theory.Anne Preller - 1992 - Mathematical Logic Quarterly 38 (1):213-240.
Extensional Equality in the Classical Theory of Types.William Tait - 1995 - Vienna Circle Institute Yearbook 3:219-234.
Marrying the Merits of Nagelian Reduction and Functional Reduction.Michael Esfeld, Christian Sachse & Patrice Soom - 2012 - Acta Analytica 27 (3):217-230.
Combinatory Reductions and Lambda Reductions Compared.Roger Hindley - 1977 - Mathematical Logic Quarterly 23 (7‐12):169-180.
Infinite Time Decidable Equivalence Relation Theory.Samuel Coskey & Joel David Hamkins - 2011 - Notre Dame Journal of Formal Logic 52 (2):203-228.
Response to Tudor: Remorse-based Sentence Reductions in Theory and Practice.Richard L. Lippke - 2008 - Criminal Law and Philosophy 2 (3):259-268.
Unified Theories and Unified Science.Robert L. Causey - 1974 - PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1974:3 - 13.
Deterministic chaos and computational complexity: The case of methodological complexity reductions. [REVIEW]Theodor Leiber - 1999 - Journal for General Philosophy of Science / Zeitschrift für Allgemeine Wissenschaftstheorie 30 (1):87-101.
Type Theory and Homotopy.Steve Awodey - unknown
Finite forcing, existential types and complete types.Joram Hirschfeld - 1980 - Journal of Symbolic Logic 45 (1):93-102.
Paradoxes and the theory of logical types.Jorge Roberto Palacio Fernánde - 2008 - Universitas Philosophica 25 (51).
Replacing one theory by another under preservation of a given feature.Rolf A. Eberle - 1971 - Philosophy of Science 38 (4):486-501.

Analytics

Added to PP
2015-02-05

Downloads
82 (#200,969)

6 months
4 (#800,606)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

What Are Structural Properties?†.Johannes Korbmacher & Georg Schiemer - 2018 - Philosophia Mathematica 26 (3):295-323.
Supervaluation fixed-point logics of truth.Philip Kremer & Alasdair Urquhart - 2008 - Journal of Philosophical Logic 37 (5):407-440.
Relations in monadic third-order logic.A. P. Hazen - 1997 - Journal of Philosophical Logic 26 (6):619-628.
Second‐Order Logic and Set Theory.Jouko Väänänen - 2015 - Philosophy Compass 10 (7):463-478.

Add more citations

References found in this work

No references found.

Add more references