External Links

    Journal: Notre Dame Journal of Formal Logic

    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
    runs on