Shaw-Kwei Moh. Yi-pan t'i-k'wei han-shu ti kow-cheng . Acta mathematica Sinica, vol. 6 , pp. 548–564

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

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2964259

Links

PhilArchive



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

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

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.
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.
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. [REVIEW]Naoto Yonemitsu - 1960 - Journal of Symbolic Logic 25 (2):183-184.
Review: Moh Shaw-Kwei, About the Rules of Procedure. [REVIEW]Hao Wang - 1960 - Journal of Symbolic Logic 25 (2):182-182.
Review: Moh Shaw-Kwei, On the Definition of Primitive Recursive Functions. [REVIEW]Hao Wang - 1960 - Journal of Symbolic Logic 25 (2):182-182.
Review: Moh Shaw-Kwei, Some Axiom Systems for Propositional Calculus. [REVIEW]Hao Wang - 1960 - Journal of Symbolic Logic 25 (2):182-183.
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, On the Explicit Form of General Recursive Functions. [REVIEW]Hao Wang - 1960 - Journal of Symbolic Logic 25 (2):183-183.
Review: Moh Shaw-Kwei, On the Explicit Form of Number-Theoretic Functions. [REVIEW]Hao Wang - 1960 - Journal of Symbolic Logic 25 (2):182-182.
Institute of Physics, Academia Sinica, Taipei, Taiwan 115, ROC.Hai-Yang Cheng - 1995 - In H. Harris (ed.), Identity. Oxford University Press. pp. 1--2.
Review: Moh Shaw-Kwei, Simplified Introduction to Intuitionistic Logic. [REVIEW]Hao Wang - 1960 - Journal of Symbolic Logic 25 (2):181-181.
A note on the theory of quantification.Moh Shaw-Kwei - 1952 - Journal of Symbolic Logic 17 (4):243-244.
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.

Analytics

Added to PP
2016-06-30

Downloads
35 (#454,270)

6 months
7 (#420,337)

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