A formal system of logic

DOI10.2307/2268438MaRDI QIDQ5798792zbMATH OpenOpenAlexWikidataFDO

Authors Hao Wang

Publication date 1950

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2307/2268438

zbMATH Keywords

philosophy and foundations of mathematics

Cites work

• Consistency of the Continuum Hypothesis. (AM-3)
• New Foundations for Mathematical Logic
• On the consistency of Quine's New foundations for mathematical logic
• On Zermelo's and Von Neumann's Axioms for Set Theory

Cited in

(4)

• Frege's double correlation thesis and Quine's set theories NF and ML
• Zigzag and Fregean Arithmetic
• In Memoriam: Hao Wang 1921–1995
• ALGEBRAIC NEW FOUNDATIONS

This page was built for publication: A formal system of logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5798792)