Distributive Normal Forms in the Calculus of Predicates

Journal of Symbolic Logic 20 (1):75-76 (1955)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2268091

Links

PhilArchive



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

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 in the Calculus of Predicates.Theodore Hailperin - 1955 - Journal of Symbolic Logic 20 (2):164-164.
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.
Distributive Normal Forms in the Calculus of Predicates.Jaakko Hintikka - 1953 - [Edidit Societas Philosophica;,] [Distribuit Akatesminen Kirjakauppa,].
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.
Distributive Normal Forms and Deductive Interpolation.Jaakko Hintikka - 1964 - Mathematical Logic Quarterly 10 (13-17):185-191.
Distributive normal forms and deductive interpolation.Jaakko Hintikka - 1964 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 10 (13‐17):185-191.
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.
Normal Forms in Combinatory Logic.Patricia Johann - 1994 - Notre Dame Journal of Formal Logic 35 (4):573-594.
Model-Baded Abduction via Dual Resolution.Fernando Soler-Toscano, Ángel Nepomuceno-fernández & Atocha Aliseda-Llera - 2006 - Logic Journal of the IGPL 14 (2):305-319.
Distributive Full Lambek Calculus Has the Finite Model Property.Michał Kozak - 2009 - Studia Logica 91 (2):201-216.
Skew confluence and the lambda calculus with letrec.Zena M. Ariola & Stefan Blom - 2002 - Annals of Pure and Applied Logic 117 (1-3):95-168.
Modified numerals and maximality.Brian Buccola & Benjamin Spector - 2016 - Linguistics and Philosophy 39 (3):151-199.
Strict embedding of the elementary ontology into the monadic second-order calculus of predicates admitting the empty individual domain.Vladimir A. Smirnov - 1987 - Studia Logica 46 (1):1 - 15.

Analytics

Added to PP
2017-02-21

Downloads
13 (#1,037,628)

6 months
4 (#792,283)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

A Debate About Anderson's Logic.A. W. Stewart✠ - 2009 - History and Philosophy of Logic 30 (2):157-169.

Add more citations

References found in this work

No references found.

Add more references