Independence of the primitive symbols of Lewis's calculi of propositions

Journal of Symbolic Logic 8 (1):25-26 (1943)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2267978

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

Alban M. J.. Independence of the primitive symbols of Lewis's calculi of propositions. [REVIEW]Frederic B. Fitch - 1943 - Journal of Symbolic Logic 8 (2):56-56.
Review: J. C. C. McKinsey, Proof of the Independence of the Primitive Symbols of Heyting's Calculus of Propositions. [REVIEW]Paul Henle - 1940 - Journal of Symbolic Logic 5 (1):38-38.
Proof of the independence of the primitive symbols of Heyting's calculus of propositions.J. C. C. McKinsey - 1939 - Journal of Symbolic Logic 4 (4):155-158.
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.
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.
Review: M. J. Poliferno, Decision Algorithms for some Functional Calculi with Modality. [REVIEW]A. Bayart - 1967 - Journal of Symbolic Logic 32 (2):244-245.
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.
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.
Rosser J. B. and Turquette A. R.. A note on the deductive completeness of m-valued propositional calculi. [REVIEW]A. F. Bausch - 1950 - Journal of Symbolic Logic 15 (2):137-138.
Some calculi with strong negation primitive.J. Jay Zeman - 1968 - Journal of Symbolic Logic 33 (1):97-100.

Analytics

Added to PP
2009-01-28

Downloads
60 (#275,134)

6 months
19 (#145,041)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

The interpretation of some Lewis systems of modal logic.M. J. Cresswell - 1967 - Australasian Journal of Philosophy 45 (2):198 – 206.
Modern Origins of Modal Logic.Roberta Ballarin - 2010 - Stanford Encyclopedia of Philosophy.
Observations on the Trivial World.Zach Weber & Hitoshi Omori - 2019 - Erkenntnis 84 (5):975-994.
S7.Andrew David Irvine - 2013 - Journal of Applied Logic 11 (4):523-529.

Add more citations

References found in this work

No references found.

Add more references