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

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,854

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,].
K. Jaakko J. Hintikka. Identity, variables, and impredicative definitions. The journal of symbolic logic, vol. 21 , pp. 225–245. - K. Jaakko J. Hintikka. Vicious circle principle and the paradoxes. The journal of symbolic logic, vol. 22 , pp. 245–249. [REVIEW]Ronald Jensen - 1967 - Journal of Symbolic Logic 32 (2):258-259.
Hintikka K. Jaakko. An application of logic to algebra. Mathematica scandinavica, vol. 2 , pp. 243–246.Leon Henkin - 1957 - Journal of Symbolic Logic 22 (2):216-217.
Jaakko K. Hintikka J.. Loogisen kielentutkimuksen näköaloja . Ajatus, vol. 19 , pp. 81–96.Arto Salomaa - 1963 - Journal of Symbolic Logic 28 (2):165-165.
E. W. Beth. Remarks on natural deduction. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, series A, Vol. 58 , pp. 322–325; also Indagationes mathematicae, vol. 17 pp. 322–325. - E. W. Beth. Semantic entailment and formal derivability. Mededelingen der Koninklijke Nederlandse Akademie van Wetenschappen, Afd. letterkunde, n.s. vol. 18 no. 13 , pp. 309–342. - K. Jaakko J. Hintikka. A new approach to sentential logic. Societas Scientiarum Fennica, Commentationes physico-mathematicae, vol. 17 no. 2 , 14 pp. - K. Jaakko J. Hintikka. Form and content in quantification theory. Two papers on symbolic logic, Acta philosophica Fennica no. 8, Helsinki1955, pp. 7–55. - K. Jaakko J. Hintikka. Notes on quantification theory. Societas Scientiarum Fennica, Commentationes physico-mathematicae, vol. 17 no. 12 , 13 pp. [REVIEW]William Craig - 1957 - Journal of Symbolic Logic 22 (4):360-363.
Jaakko K. Hintikka J.. Distributive normal forms in the calculus of predicates. Acta philosophica fennica, no. 6. Helsinki 1953, 71 pp. [REVIEW]Theodore Hailperin - 1955 - Journal of Symbolic Logic 20 (2):164-164.
Jaakko K. Hintikka J.. Quantifiers in deontic logic. Societas Scientiarum Fennica, Commentationes humanarum-litterarum, vol. 23 no. 4, Helsingfors 1957, 23 pp. [REVIEW]E. J. Lemmon - 1959 - Journal of Symbolic Logic 24 (2):178-179.
Jaakko K. Hintikka J.. Distributive normal forms in the calculus of predicates. Acta philosophica fennica, no. 6. Helsinki 1953, 71 pp. With separate sheet of Corrections. [REVIEW]Theodore Hailperin - 1955 - Journal of Symbolic Logic 20 (1):75-76.
Jaakko Hintikka 1929–2015.Jouko Väänänen - 2015 - Bulletin of Symbolic Logic 21 (4):431-436.

Analytics

Added to PP
2015-02-05

Downloads
100 (#212,768)

6 months
12 (#312,930)

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.
Relations in monadic third-order logic.A. P. Hazen - 1997 - Journal of Philosophical Logic 26 (6):619-628.
Supervaluation fixed-point logics of truth.Philip Kremer & Alasdair Urquhart - 2008 - Journal of Philosophical Logic 37 (5):407-440.
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