Review: J. C. C. McKinsey, On the Number of Complete Extensions of the Lewis Systems of Sentential Calculus [Book Review]

Journal of Symbolic Logic 9 (4):96-96 (1944)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2267576

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,707

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

On the number of complete extensions of the Lewis systems of sentential calculus.J. C. C. McKinsey - 1944 - Journal of Symbolic Logic 9 (2):42-45.
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.
Some theorems about the sentential calculi of Lewis and Heyting.J. C. C. McKinsey & Alfred Tarski - 1948 - Journal of Symbolic Logic 13 (1):1-15.
Identity, many-valuedness and referentiality.Grzegorz Malinowski - 2013 - Logic and Logical Philosophy 22 (4):375-387.
Rasiowa-Sikorski proof system for the non-Fregean sentential logic SCI.Joanna Golinska-Pilarek - 2007 - Journal of Applied Non-Classical Logics 17 (4):509–517.
Review: J. C. C. McKinsey, A Solution of the Decision Problem for the Lewis Systems S2 and S4, With an Application to Topology. [REVIEW]W. T. Parry - 1942 - Journal of Symbolic Logic 7 (3):118-119.
1. Intuitionistic sentential calculus with iden-tity.Intuitionistic Sentential Calculus - 1990 - Bulletin of the Section of Logic 19 (3):92-99.
Complete extensions of the calculus of individuals.Herbert E. Hendry - 1982 - Noûs 16 (3):453-460.
The shortest possible length of the longest implicational axiom.Dolph Ulrich - 1996 - Journal of Philosophical Logic 25 (1):101 - 108.
Review: J. C. C. McKinsey, On the Syntactical Construction of Systems of Modal Logic. [REVIEW]Frederic B. Fitch - 1946 - Journal of Symbolic Logic 11 (3):98-99.
leanTAP Revisited.Melvin Fitting - unknown
Correspondence results for relational proof systems with application to the Lambek calculus.Wendy MacCaull & Ewa Orłlowska - 2002 - Studia Logica 71 (3):389-414.
A solution of the decision problem for the Lewis systems s2 and s4, with an application to topology.J. C. C. McKinsey - 1941 - Journal of Symbolic Logic 6 (4):117-134.

Analytics

Added to PP
2013-11-22

Downloads
16 (#927,647)

6 months
6 (#575,766)

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