Rose Alan. A reduction in the number of the axioms of the propositional calculus. Norsk matematisk tidsskrift, vol. 31 , pp. 113–115.Skolem Th.. Bemerkning til artiklene av H. Rasiowa og A. Rose i denne drgang . Norsk matematisk tidsskrift, vol. 31 , p. 115 [Book Review]

Journal of Symbolic Logic 15 (2):139-139 (1950)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2266985

Links

PhilArchive



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

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

Rose Alan. A lattice-theoretic characterisation of three-valued logic. Journal of the London Mathematical Society, vol. 25 , pp. 255–259.Rose Alan. Post lattices. Norsk matematisk tidsskrift, vol. 32 , pp. 40–41. [REVIEW]Frederick B. Thompson - 1951 - Journal of Symbolic Logic 16 (2):151-151.
Skolem Th.. Den rekursive aritmetikk . Norsk matematisk tidsskrift, vol. 28 , pp. 1–12.Oiva Ketonen - 1948 - Journal of Symbolic Logic 13 (3):169-170.
Skolem Th.. De logiske paradokser og botemidlene mot dem . Norsk matematisk tidsskrift, vol. 32 , pp. 2–11.G. H. von Wright - 1951 - Journal of Symbolic Logic 16 (1):62-62.
Rasiowa H.. Sur un certain système d'axiomes du calcul des propositions. Norsk matematisk tidsskrift, vol. 31 , pp. 1–3. [REVIEW]Alfons Borgers - 1949 - Journal of Symbolic Logic 14 (3):197-197.
Aubert Karl Egil. Om presisering og generalisering av relasjonsbegrepet . Norsk matematisk tidsskrift, vol. 30 , pp. 33–53. [REVIEW]Th Skolem - 1955 - Journal of Symbolic Logic 20 (3):278-279.
Skolem Th.. Forklaring til foranstdende avhandling av L. Kalmár . Norsk matematisk tidsskrift, vol. 19 , pp. 130–133.Alonzo Church - 1938 - Journal of Symbolic Logic 3 (1):46-46.
Götlind Erik. A system of postulates for Lewis's calculus S1. Norsk matematisk tidsskrift, vol. 32 , pp. 89–92.A. F. Bausch - 1951 - Journal of Symbolic Logic 16 (3):231-231.
Kalicki J.. On the structure of bracket-free formulae. Norsk matematisk tidsskrift, vol. 32 , pp. 33–39.J. C. C. McKinsey - 1951 - Journal of Symbolic Logic 16 (2):151-151.
Götlind Erik. Om nágra ekvivalenssatser i tvavärdelogiken . Norsk matematisk tidsskrift, vol. 28 , pp. 71–75.Oiva Ketonen - 1948 - Journal of Symbolic Logic 13 (1):51-52.
Halldén Sören. An analogy in modal logic to the Lesniewski-Mihailescu theorem. Norsk matematisk tidsskrift, vol. 31 , pp. 4–9. [REVIEW]J. C. C. McKinsey - 1950 - Journal of Symbolic Logic 15 (1):70-70.
Review: Alan Rose, A Reduction in the Number of the Axioms of the Propositional Calculus. [REVIEW]W. V. Quine - 1950 - Journal of Symbolic Logic 15 (2):139-139.
Rose Alan. A new proof of a theorem of Dienes. Norsk matematish tidsskrift, vol. 33 , pp. 27–29.Nicholas Rescher - 1951 - Journal of Symbolic Logic 16 (4):276-276.
Review: Alan Rose, Strong Completeness of Fragments of the Propositional Calculus; Alan Rose, The Degree of Completeness of a Partial System of the 2-Valued Propositional Calculus. [REVIEW]R. C. Lyndon - 1952 - Journal of Symbolic Logic 17 (2):147-147.
Rose Alan. Systems of logic whose truth-values form lattices. Mathematische Annalen, vol. 123 , pp. 152–165.Rose Alan. A lattice-theoretic characterisation of the ℵ0-valued Propositional Calculus. Mathematische Annalen, vol. 123 , pp. 285–287.Rose Alan. The degree of completeness of some Łukasiewicz-Tarski propositional calculi. The journal of the London Mathematical Society, vol. 26 , pp. 47–49. [REVIEW]A. R. Turquette - 1952 - Journal of Symbolic Logic 17 (2):147-148.
Alan Gewirths moralteori.Per Bauhn - 1991 - Norsk Filosofisk Tidsskrift 4.

Analytics

Added to PP
2016-06-30

Downloads
14 (#971,788)

6 months
1 (#1,506,218)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references