External Links

    Journal: Notre Dame Journal of Formal Logic

    Volume 25, Issue 4

    289 -- 302Philip Hugly, Charles Sayward. Do we need quantification?
    303 -- 322Mark Brown. Generalized quantifiers and the square of opposition
    323 -- 331Evelyn M. Barker. Prior analytics
    332 -- 346Alberto Zanardo. ν+1
    347 -- 353Veikko Rantala. Facts and the choice of logical foundations
    354 -- 356Jacek K. Kabzinski. An axiomatization of the equivalential fragment of the three-valued logic of Lukasiewicz
    357 -- 363Mitsuru Yasuhara. Extensionality in Bernays set theory
    364 -- 382Albert M. Sweet. A pragmatic theory of locally standard grammar
    383 -- 389Matt Kaufmann. Some remarks on equivalence in infinitary and stationary logic
    390 -- 393Claudio Bernardi. A shorter proof of a recent result by R. Di Paola

    Volume 25, Issue 3

    193 -- 197George Boolos. Trees and finite satisfiability: proof of a conjecture of Burgess
    198 -- 212Theodore Hailperin. Probability logic
    213 -- 216David Marker. A model theoretic proof of Feferman's preservation theorem
    217 -- 223John P. Burgess. Read on relevance: a rejoinder
    224 -- 226Ermanno Bencivenga. Finitary consistency of a free arithmetic
    227 -- 232Daniel Bonevac. Skolem fragments
    233 -- 240Carl Wagner. Aggregating subjective probabilities: some limitative theorems
    241 -- 249Bangs L. Tapscott. Correcting the tableau procedure for S4
    250 -- 264John Rybak, Janet Rybak. Mechanizing logic. I. Map logic extended formally to relational arguments
    265 -- 282Janet Rybak, John Rybak. Mechanizing logic. II. Automated map logic method for relational arguments on paper and by computer
    283 -- 287John W. Dawson. Addenda and corrigenda to: "The published work of Kurt Gödel: an annotated bibliography"

    Volume 25, Issue 2

    97 -- 104Saharon Shelah. ω=λ
    105 -- 116John N. Martin. Epistemic semantics for classical and intuitionistic logic
    117 -- 126Fabio Bellissima. On the relationship between one-point frames and degrees of unsatisfiability of modal formulas
    127 -- 140Per Lindström. On certain lattices of degrees of interpretability
    141 -- 151Shigeo Ohama. Conjunctive normal forms and weak modal logics without the axiom of necessity
    152 -- 170Dag Westerståhl. Some results on quantifiers
    171 -- 178Richard L. Call. Constructing sequent rules for generalized propositional logics
    179 -- 189Franco Montagna. The predicate modal logic of provability

    Volume 25, Issue 1

    1 -- 16Johan van Benthem. Tense logic and time
    17 -- 26Barry Burd. Decomposable collections of sets
    27 -- 58Leonard Goddard. The nature of reflexive paradoxes. II
    59 -- 71Michael J. White. The necessity of the past and modal-tense logic incompleteness
    72 -- 78Michal Krynicki, Alistair H. Lachlan, Jouko Väänänen. Vector spaces and binary quantifiers
    79 -- 85George Englebretsen. Opposition
    86 -- 94Vincenzo Manca, Antonino Salibra. First-order theories as many-sorted algebras
    runs on