External Links

    Journal: Notre Dame Journal of Formal Logic

    Volume 22, Issue 4

    289 -- 300Steven J. Wagner. Tonk
    301 -- 308Saharon Shelah. On uncountable Boolean algebras with no uncountable pairwise comparable or incomparable sets of elements
    309 -- 314Raymond E. Jennings, Peter K. Schotch. Some remarks on (weakly) weak modal logics
    315 -- 343Jürgen Schmidt. Algebraic studies of first-order enlargements
    344 -- 356Alberto Pettorossi. A property which guarantees termination in weak combinatory logic and subtree replacement systems
    357 -- 374Craig Smorynski. Fifty years of self-reference in arithmetic
    375 -- 378Raymond E. Jennings, D. K. Johnston, Peter K. Schotch. The n-adic first-order undefinability of the Geach formula

    Volume 22, Issue 3

    193 -- 203Craig Smorynski. Elementary extensions of recursively saturated models of arithmetic
    204 -- 218Bowman L. Clarke. A calculus of individuals based on "connection"
    219 -- 226John P. Burgess. Careful choices - a last word on Borel selectors
    227 -- 238Raymond E. Jennings, Peter K. Schotch. Probabilistic considerations on modal semantics
    239 -- 248Saharon Shelah. On saturation for a predicate
    249 -- 250Alex Blum. Quine on an alleged non sequitur
    251 -- 263Robert A. Alps, Robert C. Neveln. A predicate logic based on indefinite description and two notions of identity
    264 -- 268Garrel Pottinger. The Church-Rosser theorem for the typed λ-calculus with surjective pairing
    269 -- 282Philip Hugly, Charles Sayward. Completeness theorems for two propositional logics in which identity diverges from mutual entailment
    283 -- 285Melven R. Krom. Equivalents of a weak axiom of choice

    Volume 22, Issue 2

    97 -- 104John P. Burgess. Relevance: a fallacy?
    105 -- 108Thomas Jech. On the number of generators of an ideal
    109 -- 119John T. Kearns. A more satisfactory description of the semantics of justification
    120 -- 128J. C. E. Dekker. Automorphisms of ω-cubes
    129 -- 132Robert Brandom. Semantic paradox of material implication
    133 -- 144Craig Smorynski. Cofinal extensions of nonstandard models of arithmetic
    145 -- 154Robert P. McArthur. Anderson's deontic logic and relevant implication
    155 -- 162Steven Garavaglia. Forking in modules
    163 -- 182Gary M. Hardegree. Material implication in orthomodular (and Boolean) lattices
    183 -- 186Herbert E. Hendry. Does IPC have a binary indigenous Sheffer function?
    187 -- 189Dolph Ulrich. RMLC: solution to a problem left open by Lemmon

    Volume 22, Issue 1

    5 -- 10Saharon Shelah. ∞λ-equivalent to a fixed model
    11 -- 16John A. Paulos. Probabilistic, truth-value, and standard semantics and the primacy of predicate logic
    17 -- 28John P. Burgess. The completeness of intuitionistic propositional calculus for its intended interpretation
    29 -- 35Saharon Shelah. On Fleissner's diamond
    36 -- 44Thomas P. Wilson. General models of set theory
    45 -- 62Frank Markham Brown, Sergiu Rudeanu. Consequences, consistency, and independence in Boolean algebras
    63 -- 75Robert S. Wolf. A highly efficient "transfinite recursive definitions" axiom for set theory
    76 -- 84John P. Burgess. Quick completeness proofs for some logics of conditionals
    85 -- 93Xavier Caicedo. 1)
    runs on