Halldén Sören. Results concerning the decision problem of Lewis's calculi S3 and S6 [Book Review]

Journal of Symbolic Logic 15 (1):70-70 (1950)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2268464

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,069

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: Soren Hallden, Results Concerning the Decision Problem of Lewis's Calculi S3 and S6. [REVIEW]A. R. Turquette - 1950 - Journal of Symbolic Logic 15 (1):70-70.
Results concerning the decision problem of Lewis's calculi s3 and S.Sören Halldén - 1949 - Journal of Symbolic Logic 14 (4):230 - 236.
Review: Soren Hallden, On the Decision-Problem of Lewis' Calculus S5. [REVIEW]J. C. C. McKinsey - 1950 - Journal of Symbolic Logic 15 (3):224-224.
Halldén Sören. On the semantic non-completeness of certain Lewis calculi. [REVIEW]W. T. Parry - 1951 - Journal of Symbolic Logic 16 (4):273-273.
Review: Soren Hallden, A Reduction of the Primitive Symbols of the Lewis Calculi. [REVIEW]Alan Rose - 1951 - Journal of Symbolic Logic 16 (3):231-231.
Review: Soren Hallden, The Foundations of Decision Logic. [REVIEW]Brian Skyrms - 1983 - Journal of Symbolic Logic 48 (2):502-503.
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.
Halldén Sören. A reduction of the primitive symbols of the Lewis calculi. Portugaliae mathematica, vol. 8 no. 2 , pp. 85–88. [REVIEW]Alan Rose - 1951 - Journal of Symbolic Logic 16 (3):231-231.
Gentzen Decision Procedures for Lewis's Systems S2 and S3.Masao Ohnishi - 1975 - Journal of Symbolic Logic 40 (3):468-469.
Rosser J. B. et Turquette A. R.. Axiom schemes for m-valued propositional calculi. [REVIEW]Robert Feys - 1946 - Journal of Symbolic Logic 11 (3):86-89.

Analytics

Added to PP
2016-06-30

Downloads
10 (#1,221,969)

6 months
2 (#1,259,626)

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