Matsumoto Kazuo. Sur la structure concernant la logique moderne. Journal of the Osaka Institute of Science and Technology , Part I, Mathematics and physics, vol. 2 no. 1–2 , pp. 67–78 [Book Review]

Journal of Symbolic Logic 23 (4):443-444 (1958)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2964034

Links

PhilArchive



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

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, Sur la Structure Concernant la Logique Moderne. [REVIEW]Frederic B. Fitch - 1958 - Journal of Symbolic Logic 23 (4):443-444.
Sur la Structure Concernant la Logique Moderne.Kazuo Matsumoto - 1958 - Journal of Symbolic Logic 23 (4):443-444.
Matsumoto Kazuo. On a lattice relating to intuitionistic logic. Journal of the Osaka Institute of Science and Technology, vol. 2 no. 1–2 , pp. 97–107. [REVIEW]Frederic B. Fitch - 1959 - Journal of Symbolic Logic 24 (3):250-250.
Michiura Tadashi. On characteristic properties of Boolean algebras. Journal of the Osaka Institute of Science and Technology, Part I, mathematic s and physics, vol. 1 , pp. 129–133. [REVIEW]H. E. Vaughan - 1951 - Journal of Symbolic Logic 16 (2):152-152.
Review: Kazuo Matsumoto, On a Lattice Relating to Intuitionistic Logic. [REVIEW]Frederic B. Fitch - 1959 - Journal of Symbolic Logic 24 (3):250-250.
Bayart A.. Correction de la logique modale du premier et du second ordre S5, Logique et analyse, n.s. vol. 1 , pp. 28–45. . p. 54.)Bayart A.. Quasi-adéquation de la logique modale du second ordre S5 et adéquation de la logique modale du premier ordre S5. Logique et analyse, n.s. vol. 2 , pp. 99–121. [REVIEW]Kazuo Matsumoto - 1965 - Journal of Symbolic Logic 30 (3):373-374.
Ohnishi Masao and Matsumoto Kazuo. A system for strict implication. Proceedings of the Symposium on the Foundations of Mathematics, held at Katada, Japan, 1962, Sponsored jointly by The Division of the Foundations of Mathematics of the Mathematical Society of Japan, The Sugaku Shinkokai, and The Toyo Spinning Company, Tokyo 1963, pp. 99–108. , pp. 183–188.). [REVIEW]Ivo Thomas - 1970 - Journal of Symbolic Logic 35 (2):326-326.
A System for Strict Implication.Masao Ohnishi & Kazuo Matsumoto - 1964 - Annals of the Japan Association for Philosophy of Science 2 (4):183-188.
Decision Procedure for Modal Sentential Calculus S3.Kazuo Matsumoto - 1975 - Journal of Symbolic Logic 40 (3):468-468.
Reduction Theorem in Lewis' Sentential Calculi.Kazuo Matsumoto - 1956 - Journal of Symbolic Logic 21 (2):200-200.
Review: E. J. Lemmon, Alternative Postulate Sets for Lewis's S5. [REVIEW]Kazuo Matsumoto - 1957 - Journal of Symbolic Logic 22 (4):380-381.
Gentzen Method in Modal Calculi, II.Masao Ohnishi & Kazuo Matsumoto - 1975 - Journal of Symbolic Logic 40 (3):467-468.
Review: Masao Ohnishi, Kazuo Matsumoto, A System for Strict Implication. [REVIEW]Ivo Thomas - 1970 - Journal of Symbolic Logic 35 (2):326-326.
Review: Kazuo Matsumoto, Decision Procedure for Modal Sentential Calculus S3. [REVIEW]Richard Routley - 1975 - Journal of Symbolic Logic 40 (3):468-468.
Maehara Shôji. Eine Darstellung der intuitionistischen Logik in der klassischen. Nagoya mathematical journal, vol. 7 , pp. 45–64. [REVIEW]Kazuo Matsumoto - 1957 - Journal of Symbolic Logic 22 (1):79-80.

Analytics

Added to PP
2016-06-30

Downloads
11 (#1,133,540)

6 months
2 (#1,188,460)

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