Propositional Calculus and Realizability

Journal of Symbolic Logic 19 (2):126-126 (1954)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2268876

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,098

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: Gene F. Rose, Propositional Calculus and Realizability. [REVIEW]David Nelson - 1954 - Journal of Symbolic Logic 19 (2):126-126.
Rose Gene F.. Propositional calculus and realizability. Transactions of the American Mathematical Society, vol. 75 , pp. 1–19. [REVIEW]David Nelson - 1954 - Journal of Symbolic Logic 19 (2):126-126.
Review: Alan Rose, Strong Completeness of Fragments of the Propositional Calculus; Alan Rose, The Degree of Completeness of a Partial System of the 2-Valued Propositional Calculus. [REVIEW]R. C. Lyndon - 1952 - Journal of Symbolic Logic 17 (2):147-147.
Rose Alan. Strong completeness of fragments of the propositional calculus. [REVIEW]R. C. Lyndon - 1952 - Journal of Symbolic Logic 17 (2):147-147.
Review: Alan Rose, A Formalization of the $C-0$ Propositional Calculus. [REVIEW]Alonzo Church - 1952 - Journal of Symbolic Logic 17 (1):66-66.
Review: Alan Rose, Fragments of the M-valued Propositional Calculus. [REVIEW]A. R. Turquette - 1958 - Journal of Symbolic Logic 23 (1):64-65.
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: Alan Rose, A Formalisation of Post's m-Valued Propositional Calculus. [REVIEW]William T. Parry - 1956 - Journal of Symbolic Logic 21 (4):400-401.
Review: Alan Rose, The Degree of Completeness of the $aleph_0$-valued Lukasiewicz Propositional Calculus. [REVIEW]Gene F. Rose - 1956 - Journal of Symbolic Logic 21 (3):328-328.
Review: Alan Rose, An Alternative Formalisation of Sobocinski's Three-Valued Implicational Propositional Calculus. [REVIEW]Gene F. Rose - 1957 - Journal of Symbolic Logic 22 (4):380-380.

Analytics

Added to PP
2015-02-05

Downloads
12 (#1,114,703)

6 months
1 (#1,516,021)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Justification logic.Sergei Artemov - forthcoming - Stanford Encyclopedia of Philosophy.
Proof Theory of Finite-valued Logics.Richard Zach - 1993 - Dissertation, Technische Universität Wien
The Deduction Theorem (Before and After Herbrand).Curtis Franks - 2021 - History and Philosophy of Logic 42 (2):129-159.
Rules and Arithmetics.Albert Visser - 1999 - Notre Dame Journal of Formal Logic 40 (1):116-140.

View all 17 citations / Add more citations

References found in this work

No references found.

Add more references