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 [Book Review]

Journal of Symbolic Logic 24 (3):250-250 (1959)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2963840

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, On a Lattice Relating to Intuitionistic Logic. [REVIEW]Frederic B. Fitch - 1959 - Journal of Symbolic Logic 24 (3):250-250.
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. [REVIEW]Frederic B. Fitch - 1958 - Journal of Symbolic Logic 23 (4):443-444.
Review: Kazuo Matsumoto, Sur la Structure Concernant la Logique Moderne. [REVIEW]Frederic B. Fitch - 1958 - Journal of Symbolic Logic 23 (4):443-444.
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.
Sur la Structure Concernant la Logique Moderne.Kazuo Matsumoto - 1958 - Journal of Symbolic Logic 23 (4):443-444.
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.
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.
Review: Masao Ohnishi, Kazuo Matsumoto, Gentzen Method in Modal Calculi. [REVIEW]Richard Routley - 1975 - Journal of Symbolic Logic 40 (3):466-467.
Review: Kazuo Matsumoto, Reduction Theorem in Lewis' Sentential Calculi. [REVIEW]Alan Ross Anderson - 1956 - Journal of Symbolic Logic 21 (2):200-200.
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.
Matsumoto Kazuo. Reduction theorem in Lewis' sentential calculi. Mathematica Japonicae, vol. 3 no. 3 , pp. 133–135.Alan Ross Anderson - 1956 - Journal of Symbolic Logic 21 (2):200-200.

Analytics

Added to PP
2016-06-30

Downloads
11 (#1,113,583)

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