Distributive Normal Forms in the Calculus of Predicates

[Edidit Societas Philosophica;,] [Distribuit Akatesminen Kirjakauppa,] (1953)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2268091

Other Versions

No versions found

Links

PhilArchive



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

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

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.. 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. Distributive normal forms in first-order logic. Formal systems and recursive functions, Proceedings of the Eighth Logic Colloquium, Oxford, July 1963, edited by J. N. Crossley and M. A. E. Dummett, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1965, pp. 48–91. - Jaakko Hintikka. Distributive normal forms and deductive interpolation. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 10 , pp. 185–191. [REVIEW]F. C. Oglesby - 1966 - Journal of Symbolic Logic 31 (2):267-268.
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.
Jaakko Hintikka 1929–2015.Jouko Väänänen - 2015 - Bulletin of Symbolic Logic 21 (4):431-436.
Distributive Normal Forms in First-Order Logic.Jaakko Hintikka, J. N. Crossley & M. A. E. Dummett - 1966 - Journal of Symbolic Logic 31 (2):267-268.
Review: Jaakko Hintikka, The Principles of Mathematics Revisited. [REVIEW]Harold Hodes - 1998 - Journal of Symbolic Logic 63 (4):1615-1623.
Review: K. Jaakko Hintikka, Reductions in the Theory of Types. [REVIEW]W. B. Pitt - 1966 - Journal of Symbolic Logic 31 (4):660-660.
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.
Hintikka Jaakko. Modality as referential multiplicity. Ajatus, vol. 20 , pp. 49–64.E. J. Lemmon - 1959 - Journal of Symbolic Logic 24 (2):179-179.

Analytics

Added to PP
2015-02-03

Downloads
53 (#409,721)

6 months
3 (#1,471,455)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Counterfactuals without possible worlds.Raymond Turner - 1981 - Journal of Philosophical Logic 10 (4):453 - 493.
Independence-friendly logic and axiomatic set theory.Jaakko Hintikka - 2004 - Annals of Pure and Applied Logic 126 (1-3):313-333.
Minimizing disjunctive normal forms of pure first-order logic.Timm Lampert - 2017 - Logic Journal of the IGPL 25 (3):325-347.
Super Models.Jaakko Hintikka - 2019 - Logica Universalis 13 (2):147-150.

View all 12 citations / Add more citations

References found in this work

No references found.

Add more references