Shaw-Kwei Moh. Modal systems with a finite number of modalities. Revised English translation of XXV 184. Scientia Sinica, vol. 7 no. 4 , pp. 388–412 [Book Review]

Journal of Symbolic Logic 25 (2):183-184 (1960)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2964260

Links

PhilArchive



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

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: Moh Shaw-Kwei, Modal Systems with a Finite Number of Modalities. [REVIEW]Naoto Yonemitsu - 1960 - Journal of Symbolic Logic 25 (2):183-184.
Modal Systems with a Finite Number of Modalities.Moh Shaw-Kwei - 1960 - Journal of Symbolic Logic 25 (2):183-184.
Review: Moh Shaw-Kwei, Modal Systems with a Finite Number of Modalities; M. C. Badillo Barallat, Esquemas Representativos de Sistemas Regidos por una Logica Polivalente. [REVIEW]John Van Heijenoort - 1960 - Journal of Symbolic Logic 25 (2):184-185.
Moh Shaw-Kwei. Chü-yow yow-ch'ung koh moh-t'ai-tzu ti moh-t'ai hsi-t'ung . Acta mathematica Sinica, vol. 7 , pp. 1–27. - English summary reprinted in Mathematical reviews, vol. 21 , p. 2. See the review of the English translation of this paper, XXV 183. - M. C. Badillo Barallat. Esquemas representativos de sistemas regidos por una lógica polivalente. Spanish, with English summary. Revista de cálculo automático y cibernética, vol. 4 no. 9 , pp. 54–62. [REVIEW]John van Heijenoort - 1960 - Journal of Symbolic Logic 25 (2):184-185.
Shih-Hua Hu. Recursive algorithms. Theory of recursive algorithms I. English translation of XXXVII 640. Scientia Sinica, vol. 9 , pp. 843–875. Reprinted in Chinese mathematics, vol. 1 , pp. 64–96.Shih-Hua Hu and Chung-Wan Loh. Kernel functions. Theory of recursive algorithms II. English translation of XXXVII 640. Scientia Sinica, vol. 9 , pp. 876–888. Reprinted ibid., pp. 97–109.Shih-Hua Hu. Normal forms of recursive functions. Theory of recursive algorithms III. English translation of XXXVII 640. Scientia Sinica, vol. 9 , pp. 889–896. Reprinted ibid., pp. 110–117. [REVIEW]V. Vuckovic - 1972 - Journal of Symbolic Logic 37 (3):612-612.
Shaw-Kwei Moh. Yi-pan t'i-k'wei han-shu ti kow-cheng . Acta mathematica Sinica, vol. 6 , pp. 548–564.Hao Wang - 1960 - Journal of Symbolic Logic 25 (2):183-183.
Shaw-Kwei Moh. Yuan-shih ti-k'wei han-shu ti ting-yi . Acta mathematica Sinica, vol. 5 , pp. 109–115.Hao Wang - 1960 - Journal of Symbolic Logic 25 (2):182-182.
Finite and Physical Modalities.Mauro Gattari - 2005 - Notre Dame Journal of Formal Logic 46 (4):425-437.
The Deduction Theorems and Two New Logical Systems.Moh Shaw-Kwei - 1952 - Journal of Symbolic Logic 17 (2):153-154.
Axiomatization of Many-Valued Logical Systems.Moh Shaw-Kwei - 1960 - Journal of Symbolic Logic 25 (2):181-182.
Logical paradoxes for many-valued systems.Moh Shaw-Kwei - 1954 - Journal of Symbolic Logic 19 (1):37-40.
Some Axiom Systems for Propositional Calculus.Moh Shaw-Kwei - 1960 - Journal of Symbolic Logic 25 (2):182-183.
Recursive complexity of the Carnap first order modal logic C.Amélie Gheerbrant & Marcin Mostowski - 2006 - Mathematical Logic Quarterly 52 (1):87-94.
Review: Moh Shaw-Kwei, Axiomatization of Many-Valued Logical Systems. [REVIEW]Hao Wang - 1960 - Journal of Symbolic Logic 25 (2):181-182.
Review: Moh Shaw-Kwei, Some Axiom Systems for Propositional Calculus. [REVIEW]Hao Wang - 1960 - Journal of Symbolic Logic 25 (2):182-183.

Analytics

Added to PP
2016-06-30

Downloads
17 (#860,469)

6 months
7 (#419,843)

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