External Links

    Journal: Notre Dame Journal of Formal Logic

    Volume 27, Issue 4

    459 -- 482Alan Weir. Classical harmony
    483 -- 503Daniel J. Dougherty. Gentzen systems, resolution, and literal trees
    504 -- 522Krister Segerberg. Modal logics with functional alternative relations
    523 -- 527Matthias Baaz. ω
    528 -- 532Erik C. W. Krabbe, Hans Mulder, Albert Visser, Dirk van Dalen. Finite Kripke models of HA are locally PA
    533 -- 546Josep Maria Font. Modality and possibility in some intuitionistic modal logics
    547 -- 550A. S. Troelstra. Strong normalization for typed terms with surjective pairing
    551 -- 555Zdzislaw Dywan. 5 is metalogical"
    556 -- 564Alberto Zanardo. On the characterizability of the frames for the "unpreventability of the present and the past"
    565 -- 571Richard Butrick. Systems of sentence logic with trans-atomic units
    572 -- 578Martin M. Zuckerman. Sums of finitely many ordinals of various kinds
    579 -- 591Andreas Blass. Near coherence of filters. I. Cofinal equivalence of models of arithmetic
    592 -- 605Guus Broesterhuizen, Jedrzej Wierzejewski. Identities and indiscernibility

    Volume 27, Issue 3

    307 -- 323Jerry A. Fodor. Information and association
    324 -- 338Jon Barwise. Information and circumstance
    339 -- 348David Harrah. Message semantics
    349 -- 375Scott Soames. Incomplete definite descriptions
    376 -- 392Romane Clark. Predication and paronymous modifiers
    393 -- 400Thomas McKay. His burning pants
    401 -- 429Nathan Salmon. Reflexivity
    430 -- 455Steven J. Wagner. California semantics meets the great fact

    Volume 27, Issue 2

    169 -- 179Kit Fine. Analytic implication
    180 -- 194Arnon Avron. On purely relevant logics
    195 -- 200Chris Mortensen. Reply to Burgess and to Read
    201 -- 209Arnon Avron. On an implication connective of RM
    210 -- 220Charles McCarty. Subcountability under realizability
    221 -- 246Charles B. Daniels. A story semantics for implication
    247 -- 256Ermanno Bencivenga, Karel Lambert. A free logic with simple and complex predicates
    257 -- 262Kim B. Bruce. Model constructions in stationary logic. II. Definable ultrapowers
    263 -- 299Saharon Shelah. On power of singular cardinals

    Volume 27, Issue 1

    1 -- 11Saharon Shelah, Charles Steinhorn. On the nonaxiomatizability of some logics by finitely many schemas
    12 -- 13Melven Krom. A linearly ordered topological space that is not normal
    14 -- 19Ermanno Bencivenga. Analyticity and analytical truth
    20 -- 38Peter Forrest. The logic of free acts and the powers of God
    39 -- 50Alan H. Mekler, Saharon Shelah. Stationary logic and its friends. II
    51 -- 61Robert J. Farrell. Implication and presupposition
    62 -- 65George Englebretsen. Czeżowski on wild quantity
    66 -- 74Richard Statman. Solving functional equations at higher types: some examples and some theorems
    75 -- 88Melvin Fitting. Notes on the mathematical aspects of Kripke's theory of truth
    89 -- 92Leon Harkleroad. Iterated images on manifolds
    93 -- 103Bruce E. R. Thompson. Syllogisms with statistical quantifiers
    104 -- 107George Englebretsen. Singular/general
    108 -- 110George F. Schumm. Some failures of interpolation in modal logic
    111 -- 123Matt Kaufmann, Saharon Shelah. The Hanf number of stationary logic
    124 -- 132Daniel H. Cohen. A new axiomatization of Belnap's conditional assertion
    133 -- 166Paolo Dau. Russell's first theory of denoting and quantification
    runs on