Wang Hao. A formal system of logic

Journal of Symbolic Logic 15 (3):228-229 (1950)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2266839

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: Hao Wang, A Formal System of Logic. [REVIEW]Theodore Hailperin - 1950 - Journal of Symbolic Logic 15 (3):228-229.
A formal system of logic.Hao Wang - 1950 - Journal of Symbolic Logic 15 (1):25-32.
On the Object and the Objective Foundation of Formal Logic (A Discussion with Comrade Wang Fang-ming).Ma Pei - 1970 - Contemporary Chinese Thought 1 (2):164-194.
The minimal system ${\rm L}'_0$.Xue Gang Wang - 1992 - Notre Dame Journal of Formal Logic 33 (4):569-575.
A formal theory of physical necessity.Marcin Tkaczyk - 2007 - Logic and Logical Philosophy 16 (1):65-83.
Investigations into Quantified Modal Logic.Yannis Stephanou - 2002 - Notre Dame Journal of Formal Logic 43 (4):193-220.
Ernst Mally's Deontik (1926).Gert-Jan C. Lokhorst - 1999 - Notre Dame Journal of Formal Logic 40 (2):273-282.
Probability logic and combining evidence.Theodore Hailperin - 2006 - History and Philosophy of Logic 27 (3):249-269.
Wang Hao. On denumerable bases of formal systems. Mathematical interpretation of formal systems. Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam 1955, pp. 57–84. [REVIEW]Clifford Spector - 1957 - Journal of Symbolic Logic 22 (3):292-293.
On the role of implication in formal logic.Jonathan P. Seldin - 2000 - Journal of Symbolic Logic 65 (3):1076-1114.
On an axiomatic system for the logic of linearly ordered BCI-matrices.San-min Wang & Dao-Wu Pei - 2012 - Archive for Mathematical Logic 51 (3-4):285-297.
Review: John T. Kearns, Quantifiers and Universal Validity; George Goe, A Reconstruction of Formal Logic; George Goe, Corrections to My Paper "A Reconstruction of Formal Logic.". [REVIEW]Theodore Hailperin - 1968 - Journal of Symbolic Logic 33 (1):137-138.
A Quasi-Discursive System $ND_2^+$.Janusz Ciuciura - 2006 - Notre Dame Journal of Formal Logic 47 (3):371-384.
A complete and consistent formal system for sortals.Max A. Freund - 2000 - Studia Logica 65 (3):367-381.
The Relation between Formal and Informal Logic.Ralph H. Johnson - 1999 - Argumentation 13 (3):265-274.

Analytics

Added to PP
2016-06-30

Downloads
3 (#1,690,426)

6 months
1 (#1,516,429)

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