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

Links

PhilArchive



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

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, J. Hintikka, Distributive Normal Forms in the Calculus of Predicates. [REVIEW]Theodore Hailperin - 1955 - Journal of Symbolic Logic 20 (2):164-164.
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 in First-Order Logic.Jaakko Hintikka, J. N. Crossley & M. A. E. Dummett - 1966 - Journal of Symbolic Logic 31 (2):267-268.
Mathematical logic: a course with exercises.René Cori - 2000 - New York: Oxford University Press. Edited by D. Lascar.
A Formalisation of the Propositional Calculus Corresponding to Wang's Calculus of Partial Predicates.Alan Rose - 1963 - Mathematical Logic Quarterly 9 (12‐15):177-198.
Normal Forms in Combinatory Logic.Patricia Johann - 1994 - Notre Dame Journal of Formal Logic 35 (4):573-594.
On normal forms in Łukasiewicz logic.A. Di Nola & A. Lettieri - 2004 - Archive for Mathematical Logic 43 (6):795-823.
Normal forms for fuzzy logics: a proof-theoretic approach. [REVIEW]Petr Cintula & George Metcalfe - 2007 - Archive for Mathematical Logic 46 (5-6):347-363.
Completeness, compactness, and undecidability: an introduction to mathematical logic.Alfred B. Manaster - 1975 - Englewood Cliffs, N.J.: Prentice-Hall.
Non Deterministic Classical Logic: The λμ++ ‐calculus.Karim Nour - 2002 - Mathematical Logic Quarterly 48 (3):357-366.
Distributive normal forms and deductive interpolation.Jaakko Hintikka - 1964 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 10 (13‐17):185-191.
Non deterministic classical logic: the $lambdamu^{++}$-calculus.Karim Nour - 2002 - Mathematical Logic Quarterly 48 (3):357-366.
An introduction to mathematical logic and type theory: to truth through proof.Peter Bruce Andrews - 1986 - Boston: Kluwer Academic Publishers.
Foundations of mathematical logic.Haskell Brooks Curry - 1963 - New York: Dover Publications.
The Calculus of Partial Predicates and Its Extension to Set Theory I.Hao Wang - 1961 - Mathematical Logic Quarterly 7 (17‐18):283-288.

Analytics

Added to PP
2015-02-03

Downloads
49 (#310,442)

6 months
4 (#698,851)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

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.
Counterfactuals without possible worlds.Raymond Turner - 1981 - Journal of Philosophical Logic 10 (4):453 - 493.

View all 12 citations / Add more citations

References found in this work

No references found.

Add more references