Journal of Symbolic Logic 36 (3):546-546 (1971)
Abstract | This article has no associated abstract. (fix it) |
Keywords | No keywords specified (fix it) |
Categories | (categorize this paper) |
Options |
![]() ![]() ![]() ![]() |
Download options
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
The Independence of Axioms in the Propositional Calculus.G. E. Hughes - 1957 - Australasian Journal of Philosophy 35 (1):21 – 29.
Independence of Two Nice Sets of Axioms for the Propositional Calculus.T. Thacher Robinson - 1968 - Journal of Symbolic Logic 33 (2):265-270.
Review: Maurice L'Abbe, On the Independence of Henkin's Axioms for Fragments of the Propositional Calculus. [REVIEW]Sören Halldén - 1951 - Journal of Symbolic Logic 16 (3):228-228.
On the Independence of Henkin's Axioms for Fragments of the Propositional Calculus.Maurice L'abbé - 1951 - Journal of Symbolic Logic 16 (1):43-45.
Independence of the Axioms and Rules of Inference of One System of the Extended Propositional Calculus.Nadejda Georgieva - 1971 - Notre Dame Journal of Formal Logic 12 (2):214-218.
Three Contributions to the Two-Valued Propositional Calculus.Stanisław Jaśkowski - 1975 - Studia Logica 34 (1):121 - 132.
Review: Arata Ishimoto, A Note on the Paper "A Set of Axioms of the Modal Propositional Calculus Equivalent to S3."; Arata Ishimoto, A Formulation of the Modal Propositional Calculus Equivalent to S4. [REVIEW]A. N. Prior - 1957 - Journal of Symbolic Logic 22 (3):326-327.
Review: A. N. Prior, Peirce's Axioms for Propositional Calculus. [REVIEW]Frederic B. Fitch - 1960 - Journal of Symbolic Logic 25 (1):87-87.
An Approach to Infinitary Temporal Proof Theory.Stefano Baratella & Andrea Masini - 2004 - Archive for Mathematical Logic 43 (8):965-990.
Review: Alan Rose, A Reduction in the Number of the Axioms of the Propositional Calculus. [REVIEW]W. V. Quine - 1950 - Journal of Symbolic Logic 15 (2):139-139.
Review: Arata Ishimoto, A Set of Axioms of the Modal Propositional Calculus Equivalent to S3. [REVIEW]A. N. Prior - 1955 - Journal of Symbolic Logic 20 (2):169-169.
Review: Thoralf Skolem, On the Proofs of Independence of the Axioms of the Classical Sentential Calculus. [REVIEW]Alonzo Church & Nicholas Rescher - 1953 - Journal of Symbolic Logic 18 (1):67-67.
Review: Carew A. Meredith, Single Axioms for the Systems $(C, N), (C, 0)$ and $(A, N)$ of the Two- Valued Propositional Calculus. [REVIEW]Alonzo Church - 1954 - Journal of Symbolic Logic 19 (2):143-144.
Analytics
Added to PP index
2013-11-22
Total views
2 ( #1,370,988 of 2,409,610 )
Recent downloads (6 months)
1 ( #540,301 of 2,409,610 )
2013-11-22
Total views
2 ( #1,370,988 of 2,409,610 )
Recent downloads (6 months)
1 ( #540,301 of 2,409,610 )
How can I increase my downloads?
Downloads