External Links

    Journal: Notre Dame Journal of Formal Logic

    Volume 7, Issue 4

    289 -- 295Arend Heyting. In memoriam: Evert Willem Beth (1909-1964)
    296 -- 300E. J. Lemmon. A note on Halldén-incompleteness
    301 -- 304Albert A. Mullin. C. S. S. Peirce and E. G. A. Husserl on the nature of logic
    305 -- 322D. L. Székely. On general purpose unifying automata
    323 -- 327Vito F. Sinisi. Leśniewski's analysis of Whitehead's theory of events
    328 -- 332Woodrow Jaffee. The syntax of projective geometry
    333 -- 340Philip G. Calabrese. The Menger algebras of 2-place functions in the 2-valued logic
    341 -- 343Helen L. Skala. The irreducible generating sets of 2-place functions in the 2-valued logic
    344 -- 348Thomas W. Scharle. Single axiom schemata for D and S
    349 -- 352Melven R. Krom. A property of sentences that define quasi-order
    353 -- 358Charles D. Parsons. A propositional calculus intermediate between the minimal calculus and the classical
    359 -- 360Robert E. Clay. On the definition of mereological class
    361 -- 364John Trentman. Leśniewski's ontology and some medieval logicians
    365 -- 366Michael C. Gemignani. m using topological geometries
    367 -- 368Michael C. Gemignani. A note on Bd X
    369 -- 370Ignacio Angelelli, Terrell Ward Bynum. Note on Frege's Begriffsschrift

    Volume 7, Issue 3

    209 -- 238Sister Mary Justin Markham. A group-theoretic characterization of the ordinary and isotropic Euclidean planes
    239 -- 250Gerald J. Massey. An extension of Venn diagrams
    251 -- 276Richard Routley. Some things do not exist
    277 -- 280Nicholas Rescher. On modal renderings of intuitionistic propositional logic
    281 -- 286Anjan Shukla. A set of axioms for the propositional calculus with implication and non-equivalence
    287 -- 288Rolf Schock. A simple version of the generalized continuum hypothesis

    Volume 7, Issue 2

    129 -- 157George Goe. A reconstruction of formal logic
    158 -- 0George Goe. A reconstruction of formal logic
    159 -- 180Hugues Leblanc. Two separation theorems for natural deduction
    181 -- 195Wolfgang Stegmüller. Eine modelltheoretische Präzisierung der Wittgensteinschen Bildtheorie
    196 -- 202William J. Frascella. The construction of a Steiner triple system on sets of the power of the continuum without the axiom of choice
    203 -- 205Joseph Barback. A note on regressive isols
    206 -- 208Michael D. Resnik. A note on natural deduction

    Volume 7, Issue 1

    1 -- 19Jules Vuillemin. Sur les conditions qui permettent d'utiliser les matrices russelliennes des antinomies (1905) pour exprimer les théorèmes de limitations internes des formalismes
    20 -- 47Franz von Kutschera. Zur semantischen Begründung der klassischen und der intuitionistischen Logik
    48 -- 56A. J. Baker. Non-empty complex terms
    57 -- 100Michael C. Gemignani. m
    101 -- 102Albert A. Mullin. On a proper class and related matters
    103 -- 105Florencio G. Asenjo. A calculus of antinomies
    106 -- 107Henryk Fast. A remark on continuous selectors
    108 -- 0John Thomas Canty, Thomas W. Scharle. Note on the singularies of S5
    109 -- 128Ivan Boh. Propositional connectives, supposition, and consequence in Paul of Pergola
    runs on