Improved decision procedures for Lewis's calculus s4 and Von Wright's calculus M

Journal of Symbolic Logic 19 (3):201-214 (1954)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2268619

Other Versions

reprint Anderson, Alan Ross (1955) "Improved Decision Procedures for Lewis's Calculus S4 and von Wright's Calculus M". Journal of Symbolic Logic 20(3):302-303

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,937

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

Anderson Alan Ross. Improved decision procedures for Lewis's calculus S4 and von Wright's calculus M. [REVIEW]Naoto Yonemitsu - 1955 - Journal of Symbolic Logic 20 (3):302-303.
Anderson Alan Ross. Independent axiom schemata for von Wright's M. [REVIEW]Naoto Yonemitsu - 1958 - Journal of Symbolic Logic 23 (3):346-346.
Review: T. J. Smiley, Entailment and Deducibility; Alan Ross Anderson, Nuel D. Belnap, The Pure Calculus of Entailment. [REVIEW]Jonathan Bennett - 1965 - Journal of Symbolic Logic 30 (2):240-241.
Alan Rose. The m-valued calculus of non-contradiction. The journal of symbolic logic, vol. 18 , pp. 237–241.Frederic B. Fitch - 1955 - Journal of Symbolic Logic 20 (2):180-181.

Analytics

Added to PP
2009-01-28

Downloads
61 (#349,239)

6 months
15 (#206,160)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

The free non-commutative cylindric algebras are not atomic.Mohamed Khaled - 2017 - Logic Journal of the IGPL 25 (5):673-685.
Truth-value stipulations for the Von Wright system m′ and the Heyting system.Akira Nakamura - 1964 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 10 (9-12):173-183.
BI‐Modal Logic, Double‐Closure Algebras, and Hilbert Space.Jean E. Rubin - 1962 - Mathematical Logic Quarterly 8 (3-4):305-322.
Ein Entscheidungsverfahren Für den Lewisschen Modalkalkül s 4.Rainer Krauskope - 1969 - Mathematical Logic Quarterly 15 (13-15):193-210.

View all 7 citations / Add more citations

References found in this work

Symbolic Logic.C. I. Lewis & C. H. Langford - 1932 - Erkenntnis 4 (1):65-66.
Mathematical Logic.Morton G. White & Willard Van Orman Quine - 1942 - Philosophical Review 51 (1):74.
An Essay in Modal Logic.G. P. Henderson - 1953 - Philosophical Quarterly 3 (12):287-287.

Add more references