Matsumoto Kazuo. Reduction theorem in Lewis' sentential calculi. Mathematica Japonicae, vol. 3 no. 3 , pp. 133–135

Journal of Symbolic Logic 21 (2):200-200 (1956)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2268772

Links

PhilArchive



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

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: Kazuo Matsumoto, Reduction Theorem in Lewis' Sentential Calculi. [REVIEW]Alan Ross Anderson - 1956 - Journal of Symbolic Logic 21 (2):200-200.
Reduction Theorem in Lewis' Sentential Calculi.Kazuo Matsumoto - 1956 - Journal of Symbolic Logic 21 (2):200-200.
Decision Procedure for Modal Sentential Calculus S3.Kazuo Matsumoto - 1975 - Journal of Symbolic Logic 40 (3):468-468.
Yonemitsu Naoto. Note on completeness of m-valued propositional calculi. Mathematica Japonicae, vol. 3 , pp. 57–61.Gene F. Rose - 1956 - Journal of Symbolic Logic 21 (3):328-328.
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 Method in Modal Calculi, II.Masao Ohnishi & Kazuo Matsumoto - 1975 - Journal of Symbolic Logic 40 (3):467-468.
Review: Kazuo Matsumoto, Decision Procedure for Modal Sentential Calculus S3. [REVIEW]Richard Routley - 1975 - Journal of Symbolic Logic 40 (3):468-468.
Review: Masao Ohnishi, Kazuo Matsumoto, Gentzen Method in Modal Calculi. [REVIEW]Richard Routley - 1975 - Journal of Symbolic Logic 40 (3):466-467.
Review: E. J. Lemmon, Alternative Postulate Sets for Lewis's S5. [REVIEW]Kazuo Matsumoto - 1957 - Journal of Symbolic Logic 22 (4):380-381.
Degrees of maximality of Łukasiewicz-like sentential calculi.Grzegorz Malinowski - 1977 - Studia Logica 36 (3):213 - 228.
On two notions concerning the structural sentential calculi.Wieslaw Dziobiak & Wojciech Sachwanowicz - 1979 - Bulletin of the Section of Logic 8 (2):54-58.
Adjoint interpretations of sentential calculi.Tomasz Fukmanowski - 1982 - Studia Logica 41 (4):359 - 374.
Analytic proof systems for λ-calculus: the elimination of transitivity, and why it matters. [REVIEW]Pierluigi Minari - 2007 - Archive for Mathematical Logic 46 (5-6):385-424.
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.
Compositional Z: Confluence Proofs for Permutative Conversion.Koji Nakazawa & Ken-Etsu Fujita - 2016 - Studia Logica 104 (6):1205-1224.

Analytics

Added to PP
2016-06-30

Downloads
12 (#1,031,844)

6 months
3 (#928,914)

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