External Links

    Journal: Notre Dame Journal of Formal Logic

    Volume 21, Issue 3

    481 -- 500Nino B. Cocchiarella. Nominalism and conceptualism as predicative second-order theories of predication
    501 -- 508Charles E. Hughes, David W. Straight. Word problems for bidirectional, single-premise Post systems
    509 -- 517Diderik Batens. A completeness-proof method for extensions of the implicational fragment of the propositional calculus
    518 -- 520Richard Statman. Solution to a problem of Chang and Lee
    521 -- 535Michael Katz. Inexact geometry
    536 -- 538Herbert E. Hendry. Functional completeness and non-Łukasiewiczian truth functions
    539 -- 548Robert K. Meyer. Career induction for quantifiers
    549 -- 571Robert J. Cosgrove. A three-valued free logic for presuppositional languages
    572 -- 576Ermanno Bencivenga. A weak free logic with the existence sign
    577 -- 584George Edward Hughes. Equivalence relations and S5
    585 -- 590Robert J. Titiev. On self-sustenance in systems of epistemic logic
    591 -- 601Michael Byrd. Eventual permanence
    602 -- 608George Englebretsen. Analytics
    runs on