A Set of Axioms for Logic

Journal of Symbolic Logic 9 (3):73-74 (1944)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2267893

Other Versions

original Hailperin, Theodore (1944) "A set of axioms for logic". Journal of Symbolic Logic 9(1):1-19

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,369

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

Hailperin Theodore. A set of axioms for logic.George D. W. Berry - 1944 - Journal of Symbolic Logic 9 (3):73-74.
A set of axioms for logic.Theodore Hailperin - 1944 - Journal of Symbolic Logic 9 (1):1-19.
Hailperin Theodore. A complete set of axioms for logical formulas invalid in some finite domains. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 7 , pp. 84–96. [REVIEW]Andrzej Mostowski - 1962 - Journal of Symbolic Logic 27 (1):108-109.
Theodore Hailperin. An incorrect theorem. The journal of symbolic logic, vol. 30 , p. 27.Alonzo Church - 1966 - Journal of Symbolic Logic 31 (1):128-128.
Review: Theodore Hailperin, A Theory of Restricted Quantification. [REVIEW]R. Sherman Lehman - 1960 - Journal of Symbolic Logic 25 (2):175-176.

Analytics

Added to PP
2017-02-21

Downloads
14 (#1,284,785)

6 months
4 (#1,264,753)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

The Usual Model Construction for NFU Preserves Information.M. Randall Holmes - 2012 - Notre Dame Journal of Formal Logic 53 (4):571-580.
Broadening the Iterative Conception of Set.Mark F. Sharlow - 2001 - Notre Dame Journal of Formal Logic 42 (3):149-170.
Framing the Epistemic Schism of Statistical Mechanics.Javier Anta - 2021 - Proceedings of the X Conference of the Spanish Society of Logic, Methodology and Philosophy of Science.
The Axiom Scheme of Acyclic Comprehension.Zuhair Al-Johar, M. Randall Holmes & Nathan Bowler - 2014 - Notre Dame Journal of Formal Logic 55 (1):11-24.

View all 9 citations / Add more citations

References found in this work

No references found.

Add more references