Götlind Erik. A system of postulates for Lewis's calculus S1. Norsk matematisk tidsskrift, vol. 32 , pp. 89–92

Journal of Symbolic Logic 16 (3):231-231 (1951)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2266439

Links

PhilArchive



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

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

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.
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. [REVIEW]W. V. Quine - 1950 - Journal of Symbolic Logic 15 (2):139-139.
Review: Erik Gotlind, An Axiom System for the Propositional Calculus. [REVIEW]Oiva Ketonen - 1948 - Journal of Symbolic Logic 13 (1):52-52.
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.
Skolem Th.. Den rekursive aritmetikk . Norsk matematisk tidsskrift, vol. 28 , pp. 1–12.Oiva Ketonen - 1948 - Journal of Symbolic Logic 13 (3):169-170.
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.
Halldén Sören. On the decision-problem of Lewis' calculus S5. Norsk malematisk tidsskrift, vol. 31 , pp. 89–94.J. C. C. McKinsey - 1950 - Journal of Symbolic Logic 15 (3):224-224.
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.
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.
Kunskap och koherens.Erik Olsson - 2007 - Filosofisk Tidskrift 4.
Kan vi veta vad vi tror?Erik Carlson - 1998 - Norsk Filosofisk Tidsskrift 2.
Rockmusikens estetik.Per-Erik Brolinson - 1982 - Norsk Filosofisk Tidsskrift 3 (4):40.
Omoraliska helgon.Erik Ryding - 1989 - Norsk Filosofisk Tidsskrift 10 (4):19.

Analytics

Added to PP
2013-11-22

Downloads
17 (#861,334)

6 months
5 (#626,991)

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