External Links

    Journal: Notre Dame Journal of Formal Logic

    Volume 19, Issue 1

    1 -- 19George C. Nelson. a
    20 -- 24John L. Hickman. Critical points of normal functions. II
    25 -- 62Paul J. Welsh. Primitivity in mereology. I
    63 -- 68Jorgen B. Jensen, Peter F. Larsen, Edwin J. MacLellan, Peter K. Schotch. A note on three-valued modal logic
    69 -- 80James Palermo. Apodictic truth: Husserl's eidetic reduction versus induction
    81 -- 91John Robert Baker. Essentialism and the modal semantics of J. Hintikka
    92 -- 100Yvon Gauthier. Foundational problems of number theory
    101 -- 114G. N. Georgacarakos. A modal system properly independent of both the Brouwerian system and S4
    115 -- 118Charles Pinter. A note on the decomposition of theories with respect to amalgamation, convexity, and related properties
    119 -- 122Jeremy George Peterson. An automatic theorem prover for substitution and detachment systems
    123 -- 136Mitchell O. Locks. Logical and probability analysis of systems
    137 -- 140W. A. Verloren van Themaat. Right-divisive groups
    141 -- 144John A. Kalman. A shortest single axiom for the classical equivalential calculus
    145 -- 146Gary Iseminger. Geach and the Lewis result
    147 -- 151Xavier Caicedo Ferrer. A formal system for the non-theorems of the propositional calculus
    152 -- 154Jan A. Bergstra. Degrees of partial functions
    155 -- 158Alexander Abian, Samuel Lamacchia. On the consistency and independence of some set-theoretical axioms
    159 -- 164Wolfgang Lenzen. On some substitution instances of R1 and L1
    165 -- 173Charles F. Kielkopf. The intensionality of the predicate '_ is recursive'
    174 -- 176Kosta Dosen. A note on the law of identity and the converse Parry property
    177 -- 185Steven E. Boër. Attributive names
    186 -- 188T. A. McKee. Forbidden subgraphs in terms of forbidden quantifiers
    189 -- 191Alfred Horn. Free S5 algebras
    runs on