External Links

    Journal: Notre Dame Journal of Formal Logic

    Volume 21, Issue 4

    609 -- 638John Corcoran, Susan Wood. Boole's criteria for validity and invalidity
    639 -- 655Charles B. Daniels, James B. Freeman. An analysis of the subjunctive conditional
    656 -- 658Russell W. Myers. Complexity of model-theoretic notions
    659 -- 671William H. Hanson. First-degree entailments and information
    672 -- 678Jean Porte. Congruences in Lemmon's S0.5
    679 -- 682Czeslaw Lejewski. Postscript: "A note concerning the notion of mereological class"
    683 -- 684K. E. Pledger. Location of some modal systems
    685 -- 693Mario Coppo, Mariangiola Dezani-Ciancaglini. An extension of the basic functionality theory for the λ-calculus
    694 -- 700Chris Mortensen. 1 is trivial
    701 -- 707Aris Noah. Predicate-functors and the limits of decidability in logic
    708 -- 710Harry Gonshor. Number theory for the ordinals with a new definition for multiplication
    711 -- 727Eugenio Giovanni Omodeo. ν
    728 -- 0Jonathan P. Seldin. A second corrigendum to my paper: "Note on definitional reductions"
    runs on