External Links

    Journal: Notre Dame Journal of Formal Logic

    Volume 10, Issue 3

    225 -- 234Thomas J. Grilliot. Selection functions for recursive functionals
    235 -- 238William C. Nemitz. Semi-Boolean lattices
    239 -- 246Vito F. Sinisi. Leśniewski and Frege on collective classes
    247 -- 256J. Jay Zeman. Modal systems in which necessity is "factorable"
    257 -- 260J. Jay Zeman. Complete modalization in S4.4 and S4.0.4
    261 -- 262George F. Schumm. On some open questions of B. Sobociński
    263 -- 265George F. Schumm. On a modal system of D. C. Makinson and B. Sobociński
    266 -- 270C. A. Meredith. Equational postulates for the Sheffer stroke
    271 -- 272A. N. Prior. Propositional calculus in implication and non-equivalence
    273 -- 274A. N. Prior. On the calculus MCC
    275 -- 276Michael Anderson. Note on the mortality problem for shift state trees
    277 -- 284Laurent Larouche. Examination of the axiomatic foundations of a theory of change. II
    285 -- 297Diana Brignole. Equational characterization of Nelson algebra
    298 -- 302J. Kent Minichiello. An extension of negationless logic
    303 -- 308Stephen L. Bloom. A semi-completeness theorem
    309 -- 312C. A. Meredith. Terminal functors permissible with syllogistic
    313 -- 316Harry V. Stopes-Roe. An economy in the formation rules for quantification theory
    317 -- 323William J. Frascella. The non-existence of a certain combinatorial design on an infinite set
    324 -- 326Desmond Paul Henry. Leśniewski's ontology and some medieval logicians
    327 -- 330Setsuo Saito. A theory of categorical syllogism
    331 -- 335Robert D. Carnes. A reduction procedure for Sheffer stroke formulas
    336 -- 0Charles D. Parsons. Corrigendum to my paper: "A propositional calculus intermediate between the minimal calculus and the classical"
    runs on