External Links

    Journal: Notre Dame Journal of Formal Logic

    Volume 4, Issue 4

    241 -- 269Ivan Boh. Walter Burleigh's hypothetical syllogistic
    270 -- 273Hilary Putnam. A note on constructible sets of integers
    274 -- 282John R. Myhill. Variations on a theme of Bernays
    283 -- 287Raouf Doss. On Gödel's proof that V=L implies the generalized continuum hypothesis
    288 -- 292Karel Lambert. Existential import revisited
    293 -- 305S. Summersbee, A. Walters. Programming the functions of formal logic. II. Multi-valued logics
    306 -- 312Kenneth M. Sayre. Propositional logic in Plato's Protagoras
    313 -- 320Nuel D. Belnap Jr., Hugues Leblanc, Richmond H. Thomason. On not strengthening intuitionistic logic

    Volume 4, Issue 3

    162 -- 170Thoralf Skolem. Studies on the axiom of comprehension
    171 -- 187C. A. Meredith, A. N. Prior. Notes on the axiomatics of the propositional calculus
    188 -- 192Karl Menger, Martin Schultz. Postulates for the substitutive algebra of the 2-place functors in the 2-valued calculus of propositions
    193 -- 200Florencio G. Asenjo. Relations irreducible to classes
    201 -- 205Elliott Mendelson. On some recent criticism of Church's Thesis
    206 -- 215S. K. Sehgal. Jacobson theory of ringoids
    216 -- 223Setsuo Saito. Truth value assignment in predicate calculus of first order
    224 -- 226Charles E. Caton. A stipulation of a modal propositional calculus in terms of modalized truth-values
    227 -- 230J. Jay Zeman. Bases for S4 and S4.2 without added axioms
    231 -- 232Ivo Thomas. A final note on S1° and the Brouwerian axioms
    233 -- 240Boleslaw Sobocinski. A note on the generalized continuum hypothesis. III

    Volume 4, Issue 2

    81 -- 104Hugues Leblanc. Proof routines for the propositional calculus
    105 -- 112Thomas E. Patton. A system of quantificational deduction
    113 -- 134Alberto Moreno. Propositional logic in Juan de Santo Tomás
    135 -- 139Czeslaw Lejewski. A note on a problem concerning the axiomatic foundations of mereology
    140 -- 141Gerald J. Massey. Note on Copi's system
    142 -- 144John Thomas Canty. Completeness of Copi's method of deduction
    145 -- 150Albert M. Sweet. Toward a pragmatical explication of epistemic modalities
    151 -- 152Ivo Thomas. S1° and Brouwerian axioms
    153 -- 154Ivo Thomas. S1° and generalized S5-axioms
    155 -- 157Boleslaw Sobocinski. A note on modal systems
    158 -- 160Albert A. Mullin. On differences of certain structured sets

    Volume 4, Issue 1

    1 -- 38Zbigniew Jordan. Logical determinism
    39 -- 43Nuel D. Belnap Jr., Richmond H. Thomason. A rule-completeness theorem
    44 -- 47Thoralf Skolem. Addendum to my article: "Proof of some theorems on recursively enumerable sets"
    48 -- 58Nicholas Rescher. Avicenna on the logic of "conditional" propositions
    59 -- 66Robert E. Clay. A standard form for Łukasiewicz many-valued logics
    67 -- 79Boleslaw Sobocinski. A note on the generalized continuum hypothesis. II
    80 -- 0Richard Vesley. On strengthening intuitionistic logic
    runs on