External Links

    Journal: Notre Dame Journal of Formal Logic

    Volume 19, Issue 4

    513 -- 522William J. Collins. Provably recursive real numbers
    523 -- 542Tamás Gergely, Konstantin Vershinin. Model theoretical investigation of theorem proving methods
    543 -- 557Leo Simons. More logics without tautologies
    558 -- 578Tobias Chapman. A modal logic with temporal variables
    579 -- 590Paul Vincent Spade. John Buridan on the liar: a study and reconstruction
    591 -- 592Charles D. Brown. The ontological theorem
    593 -- 598John L. Hickman. The ideal of orderable subsets of a set
    599 -- 613Earline Jennifer Ashworth. Multiple quantification and the use of special quantifiers in early sixteenth century logic
    614 -- 616George Englebretsen. Aristotle on the subject of predication
    617 -- 622Allen Hazen. The eliminability of the actuality operator in propositional modal logic
    623 -- 628George F. Schumm. K in its place
    629 -- 633Howard C. Wasserman. A second-order axiomatic theory of strings
    634 -- 636Donald Nute. An incompleteness theorem for conditional logic
    637 -- 638Thomas A. Sudkamp. An additional remark on self-conjugate functions of Boolean algebras
    639 -- 645Anna Silverstein. A generalization of combinatorial operators
    646 -- 652Ermanno Bencivenga. A semantics for a weak free logic
    653 -- 662William H. Friedman. Uncertainties over distribution dispelled
    663 -- 673John Robert Baker. Some remarks on Quine's arguments against modal logic
    674 -- 678R. Beazer. Axioms for generalized Newman algebras
    679 -- 686Robert Warren Button. A note on the Q-topology
    687 -- 692Gisèle Fischer Servi. The finite model property for MIPQ and some consequences
    693 -- 701Northrup Fowler III. Effective inner product spaces
    702 -- 704John L. Hickman. Commutativity of generalized ordinals

    Volume 19, Issue 3

    321 -- 330Erik C. W. Krabbe. The adequacy of material dialogue-games
    331 -- 354John T. Kearns. Three substitution-instance interpretations
    355 -- 385Paul J. Welsh. Primitivity in mereology. II
    386 -- 394John L. Hickman. Doubly transitive sets
    395 -- 396Allan M. Hart, Herbert E. Hendry. Some observations on a method of McKinsey
    397 -- 404Mary Sirridge. Buridan: "every proposition is false" is false
    405 -- 415Luis E. Sanchis. Hyperenumeration reducibility
    416 -- 418Benjamin S. Hawkins. On certain incapacities claimed for logicians
    419 -- 420Jon C. Muzio. A note concerning a sole sufficient operator
    421 -- 434Jürgen Schmidt. Binomial pairs, semi-Brouwerian and Brouwerian semilattices
    435 -- 444John Grant. Classifications for inconsistent theories
    445 -- 451Garrel Pottinger. Proofs of the normalization and Church-Rosser theorems for the typed λ-calculus
    452 -- 456Alexander Abian. Passages between finite and infinite
    457 -- 460Boleslaw Sobocinski. Note about Łukasiewicz's theorem concerning the system of axioms of the implicational propositional calculus
    461 -- 464Dolph Ulrich. Semantics for S4.1.2
    465 -- 466Wolfgang Lenzen. S4.1.4=S4.1.2 and S4.021=S4.04
    467 -- 474Boleslaw Sobocinski. A new axiomatization of the mixed associative Newman algebras
    475 -- 485John Williamson. An ambiguity in modal logic
    486 -- 488Marilyn Milberger. The minimal modal logic: a cautionary tale about primitives and definitions
    489 -- 494John Staples. Truth in constructive metamathematics
    495 -- 503Steven Garavaglia. Relative strength of Malitz quantifiers
    504 -- 512Thomas Sudkamp. Self-conjugate functions on Boolean algebras

    Volume 19, Issue 2

    193 -- 199J. C. E. Dekker. Projective bigraphs with recursive operations
    200 -- 214Roderic A. Girle. Logics for knowledge, possibility, and existence
    215 -- 243Bruce I. Rose. Model theory of alternative rings
    244 -- 248John L. Hickman. An independence result concerning infinite products of alephs
    249 -- 250Wolfgang Lenzen. A rare accident
    251 -- 263Czeslaw Lejewski. A note concerning the notion of mereological class
    264 -- 270Mitchell O. Locks. Minimalization of Boolean polynomials, truth functions, and lattices
    271 -- 281G. N. Georgacarakos. A new family of modal systems
    282 -- 284Ronald E. Nusenoff. The closing passage of Frege's "Über Sinn und Bedeutung"
    285 -- 288Robert C. Flagg. On the independence of the Bigos-Kalmár axioms for sentential calculus
    289 -- 294Nicholas J. DeLillo. A note on Turing machine regularity and primitive recursion
    295 -- 296Ignacio Angelelli. Analytica priora I, 38 and reduplication
    297 -- 298Nicholas Griffin. Supervaluations and Tarski
    299 -- 306W. D. Hart, Colin McGinn. On propositions
    307 -- 309V. Frederick Rickey. On creative definitions in first order functional calculi
    310 -- 314Demetrius J. Hadgopoulos. The middle term
    315 -- 320Boleslaw Sobocinski. Awkward axiom-systems

    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