Review: Kazuo Matsumoto, Reduction Theorem in Lewis' Sentential Calculi [Book Review]

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,386

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, 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.
Adjoint interpretations of sentential calculi.Tomasz Fukmanowski - 1982 - Studia Logica 41 (4):359 - 374.
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: Kazuo Matsumoto, Sur la Structure Concernant la Logique Moderne. [REVIEW]Frederic B. Fitch - 1958 - Journal of Symbolic Logic 23 (4):443-444.
Review: Masao Ohnishi, Kazuo Matsumoto, A System for Strict Implication. [REVIEW]Ivo Thomas - 1970 - Journal of Symbolic Logic 35 (2):326-326.
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.
Review: Kazuo Matsumoto, On a Lattice Relating to Intuitionistic Logic. [REVIEW]Frederic B. Fitch - 1959 - Journal of Symbolic Logic 24 (3):250-250.
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.
Metafizyka w logice.Jacek Wojtysiak - 1999 - Filozofia Nauki 1.
Algebraic aspects of deduction theorems.Janusz Czelakowski - 1985 - Studia Logica 44 (4):369 - 387.

Analytics

Added to PP
2013-11-22

Downloads
10 (#1,168,820)

6 months
3 (#1,002,413)

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