External Links

    Journal: Notre Dame Journal of Formal Logic

    Volume 15, Issue 1

    1 -- 15Wilfred G. Malcolm. Some results and algebraic applications in the theory of higher-order ultraproducts
    16 -- 24Michael J. Loux, Wm. David Solomon. Quine on the inscrutability and relativity of reference
    25 -- 34Martin W. Bunder. Propositional and predicate calculuses based on combinatory logic
    35 -- 44John Evenden. Generalised logic
    45 -- 62Roderic A. Girle. Possibility pre-supposition free logics
    63 -- 72Jordan Howard Sobel. Principia Mathematica description theory: the classical and an alternative notation
    73 -- 84Peter B. Andrews. Resolution and the consistency of analysis
    85 -- 96Eugen Mihailescu. Les propriétés du foncteur Nicod par rapport à le réciprocité et conjonction. II
    97 -- 121J. Michael Dunn, Hugues Leblanc, Robert K. Meyer. Completeness of relevant quantification theories
    122 -- 132John W. Rosenthal. ω<>)
    133 -- 140Jon C. Muzio. Partial universal decision elements
    141 -- 146Robert E. Clay. Some mereological models
    147 -- 148George F. Schumm. S3.02=S3.03
    149 -- 155J. G. Anderson. A note on finite intermediate logics
    156 -- 160David Meredith 0002. Combinatory and propositional logic
    161 -- 164Ralph L. Slaght. A concise method for translating propositional formulae containing the standard truth-functional connectives into a Sheffer stroke equivalent; plus an extension of the method
    165 -- 166Robert G. Wengert. Schematizing De Morgan's argument
    167 -- 168Bruce White. A note on natural deduction in many-valued logic
    169 -- 172Boleslaw Sobocinski. Concerning the proper axioms of S4.02
    173 -- 175T. Y. Pak. McCawley and logic
    176 -- 0Frank Fox. A note on a consistency proof
    runs on