Distributive Normal Forms and Deductive Interpolation

Mathematical Logic Quarterly 10 (13-17):185-191 (1964)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

DOI

10.1002/malq.19640101302

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,779

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

Distributive normal forms and deductive interpolation.Jaakko Hintikka - 1964 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 10 (13‐17):185-191.
Review: Jaakko Hintikka, J. N. Crossley, M. A. E. Dummett, Distributive Normal Forms in First-Order Logic; Jaakko Hintikka, Distributive Normal Forms and Deductive Interpolation. [REVIEW]F. C. Oglesby - 1966 - Journal of Symbolic Logic 31 (2):267-268.
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.
Review: K. Jaakko, J. Hintikka, Distributive Normal Forms in the Calculus of Predicates. [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. [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.
Logical Tools for Human Thinking: Jaakko Hintikka.Ilkka Niiniluoto - 2016 - Journal for General Philosophy of Science / Zeitschrift für Allgemeine Wissenschaftstheorie 47 (2):267-276.
Distributive Normal Forms in the Calculus of Predicates.Jaakko Hintikka - 1953 - [Edidit Societas Philosophica;,] [Distribuit Akatesminen Kirjakauppa,].
Review: Jaakko Hintikka, Modality and Quantifications; Jaakko Hintikka, The Modes of Modality. [REVIEW]W. B. Pitt - 1966 - Journal of Symbolic Logic 31 (1):122-123.
Jaakko Hintikka and Merrill Hintikka, The Logic of Epistemology and The Epistemology of Logic Reviewed by.Stephen Cade Hetherington - 1990 - Philosophy in Review 10 (4):144-146.

Analytics

Added to PP
2017-02-21

Downloads
7 (#1,403,235)

6 months
2 (#1,445,278)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Quine's philosophical naturalism.Jerzy Giedymin - 1972 - British Journal for the Philosophy of Science 23 (1):45-55.
Informação.Frank Thomas Sautter - 2021 - Veritas – Revista de Filosofia da Pucrs 65 (3):e37290.

View all 6 citations / Add more citations

References found in this work

Linear reasoning. A new form of the herbrand-Gentzen theorem.William Craig - 1957 - Journal of Symbolic Logic 22 (3):250-268.
Bases for first-order theories and subtheories.William Craig - 1960 - Journal of Symbolic Logic 25 (2):97-142.

Add more references