Distributive Normal Forms in First-Order Logic

, &
Journal of Symbolic Logic 31 (2):267-268 (1966)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2269830

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

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.
Minimizing disjunctive normal forms of pure first-order logic.Timm Lampert - 2017 - Logic Journal of the IGPL 25 (3):325-347.
Relational hypotheses and inductive inference.Risto Hilpinen - 1971 - Synthese 23 (2-3):266 - 286.
Review: Richard Montague, J. N. Crossley, M. A. E. Dummett, Set Theory and Higher-Order Logic. [REVIEW]Richard Mansfield - 1975 - Journal of Symbolic Logic 40 (3):459-459.
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.
Review: A. N. Prior, J. N. Crossley, M. A. E. Dummett, Existence in Lesniewski and in Russell. [REVIEW]C. Lejewski - 1975 - Journal of Symbolic Logic 40 (3):458-458.
Review: Saul A. Kripke, J. N. Crossley, M. A. E. Dummett, Semantical Analysis of Intuitionistic Logic I. [REVIEW]G. Kreisel - 1970 - Journal of Symbolic Logic 35 (2):330-332.
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.

Analytics

Added to PP
2015-02-05

Downloads
25 (#619,765)

6 months
2 (#1,445,278)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Regularity theories reassessed.Michael Baumgartner - 2006 - Philosophia 36 (3):327-354.
Verisimilitude Redefined.Pavel Tichý - 1976 - British Journal for the Philosophy of Science 27 (1):25-42.
Verisimilitude reviewed.Graham Oddie - 1981 - British Journal for the Philosophy of Science 32 (3):237-265.
Theory-distance and verisimilitude.Raimo Tuomela - 1978 - Synthese 38 (2):213 - 246.

View all 18 citations / Add more citations

References found in this work

No references found.

Add more references