External Links

    Journal: Notre Dame Journal of Formal Logic

    Volume 18, Issue 4

    513 -- 516David Meredith 0002. In memoriam: Carew Arthur Meredith (1904-1976)
    517 -- 526Ralph L. Slaght. Modal tree constructions
    527 -- 534John L. Hickman. Critical points of normal functions. I
    535 -- 544Seth Catlin. Pathologies in the ed-regressive sets of order 2
    545 -- 566Thomas G. McLaughlin. R
    567 -- 582Richard Milton Martin. Some thomistic properties of primordiality
    583 -- 588Klaus Mainzer. Is the intuitionistic bar-induction a constructive principle?
    589 -- 590Piergiorgio Odifreddi. A note on Suzuki's chain of hyperdegrees
    591 -- 595Dasharath Singh. On Ackermann's theory of sets
    596 -- 598Lee C. Archie, B. G. Hurdle, William Stewart Thomblison. A note on the truth-table for "if p then q"
    599 -- 601Gabriele Lolli. On Ramsey's theorem and the axiom of choice
    602 -- 606B. Davidson, Frank Cameron Jackson, Robert Pargetter. Modal trees for T and S5
    607 -- 610Barry Coburn, David Miller. Beginning logic
    611 -- 612S. K. Wertz. "Not both p and q, therefore if p then q" is a valid form of argument
    613 -- 615Gary H. Merrill. non sequitur of Quine's
    616 -- 620Luisa Iturrioz. An axiom system for three-valued Łukasiewicz propositional calculus
    621 -- 630E. H. Alves, Newton C. A. da Costa. n
    631 -- 636David F. Siemens. Fitch-style rules for many modal logics
    637 -- 638Robert W. Murungi. Necessitas consequentis in a singleton possible world
    639 -- 640Emily Michael. A note on the roots on Peirce's division of logic into three branches

    Volume 18, Issue 3

    321 -- 339J. M. Bell, Lloyd Humberstone. Two systems of presupposition logic
    340 -- 354Graham Priest. A refoundation of modal logic
    355 -- 362Robert L. Wilson. A note on metaphysics and the foundations of mathematics
    363 -- 377James W. van Evra. A reassessment of George Boole's theory of logic
    378 -- 382John N. Martin. An axiomatization of Herzberger's 2-dimensional presuppositional semantics
    383 -- 405Vladeta Vuckovic. Recursive and recursively enumerable manifolds. II
    406 -- 408Robert Warren Button. When do *continuous extensions exist?
    409 -- 414Rolf Schock. A note on the axiom of choice and the continuum hypothesis
    415 -- 420Peter A. Facione. The entailment operator
    421 -- 435Metodej K. Chytil. Sémantique des formules logiques en forme d'équivalence n-aire (demi-modèles)
    436 -- 440Arnold R. Vobach. The weak topology on logical calculi
    441 -- 457Manfred E. Szabo. The logic of closed categories
    458 -- 0Henri J. Sarlet. Hintikka's free logic is not free
    459 -- 466Ivan Boh. The "conditionatim"-clause: one of the problems of existential import in the history of logic
    467 -- 470Robert V. Kohn. Some Post-complete extensions of S2 and S3
    471 -- 474Johannes Czermak. A remark on Gentzen's calculus of sequents
    475 -- 476Richard Butrick. The numeral axioms
    477 -- 488G. N. Georgacarakos. Additional extensions of S4
    489 -- 495Richard A. DeMillo. Some applications of model theory to the metatheory of program schemata
    496 -- 498Charles G. Werner. Frequencies and beliefs
    499 -- 503Thomas S. Weston. The continuum hypothesis is independent of second-order ZF
    504 -- 506G. N. Georgacarakos. Semantics for S4.03
    507 -- 509Bernhard Banaschewski. On G. Spencer Brown's laws of form
    510 -- 512Richard Butrick. i=1

    Volume 18, Issue 2

    193 -- 194Otto Bird. In memoriam: Ivo Thomas (1912-1976)
    195 -- 207Deirdre La Porte. Bibliography of Ivo Thomas
    208 -- 220Robert L. Wilson. * F
    221 -- 231Douglas Dunsmore Daye. Metalogical incompatibilities in the formal description of Buddhist logic (Nyāya)
    232 -- 234Earline Jennifer Ashworth. An early fifteenth century discussion of infinite sets
    235 -- 242David Marshall. Łukasiewicz, Leibniz and the arithmetization of the syllogism
    243 -- 247Robert H. Cowen. Generalizing König's infinity lemma
    248 -- 250Stewart Shapiro. Incomplete translations of complete logics
    251 -- 254Kanzo Hino. On Yablonskii theory concerning functional completeness of k-valued logic
    255 -- 261Alan Rose. Simplified formalizations of fragments of the propositional calculus
    262 -- 264Paul J. Campbell. An answer to Armstrong's question about incompleteness in Copi: "A question about incompleteness"
    265 -- 291Vladeta Vuckovic. Recursive and recursively enumerable manifolds. I
    292 -- 294Melvin Fitting. A tableau system for propositional S5
    295 -- 298Richard Guhl. Two notes on recursively enumerable vector spaces
    299 -- 304Judith L. Gersting. Infinite series of regressive isols under addition
    305 -- 309Charles E. Hughes, Wilson E. Singletary. The one-one equivalence of some general combinatorial decision problems
    310 -- 312Robert H. Cowen. Binary consistent choice on triples
    313 -- 317John Loader. Second order and higher order universal decision elements in m-valued logic
    318 -- 320Yale N. Patt. Independent necessary conditions for functional completeness in m-valued logic

    Volume 18, Issue 1

    1 -- 78James George Kowalski. Leśniewski's ontology extended with the axiom of choice
    79 -- 84Patric Cean Nolan. A semantics model for imperatives
    85 -- 94Steven E. Boër. Logical truth and indeterminacy
    95 -- 100G. N. Georgacarakos. Abnormal worlds and the non-Lewis modal systems
    101 -- 106Robert P. McArthur. Three-valued free tense logic
    107 -- 116Hugues Leblanc. A strong completeness theorem for 3-valued logic. II
    117 -- 127Jonathan P. Seldin. 22
    128 -- 132J. Michael Orenduff. Are modal contexts referentially opaque?
    133 -- 139Daniel D. Merrill. On De Morgan's argument
    140 -- 144Gerald J. Massey. Negation, material equivalence, and conditioned nonconjunction: completeness and duality
    145 -- 146David W. Bennett. A note on the completeness proof for natural deduction
    147 -- 150Fred Coppotelli. On two first order type theories for the theory of sets
    151 -- 163Judith M. Harper, Jean E. Rubin. Variations of Zorn's lemma, principles of cofinality, and Hausdorff's maximal principle. II. Class forms
    164 -- 168A. J. Baker. Classical logical relations
    169 -- 174John L. Hickman. Regressive order-types
    175 -- 176Judy Green. Next P admissible sets are of cofinality ω
    177 -- 180Satoshi Miura, Shigeo Ohama. A note on Thomason's representation of S5
    181 -- 191Robert K. Meyer. First degree formulas in Curry's LD
    runs on