External Links

    Journal: Notre Dame Journal of Formal Logic

    Volume 17, Issue 4

    481 -- 500Hector-Neri Castaneda. Leibniz's syllogistico-propositional calculus
    501 -- 516Robert K. Meyer. Metacompleteness
    517 -- 525David Meredith 0002. A calculus of matrical descriptors
    526 -- 530Jekeri Okee. On the independence of the fundamental operations of the algebra of species
    531 -- 541George Englebretsen. The square of opposition
    542 -- 550Bertram C. Bruce. A logic for unknown outcomes
    551 -- 564Léon Birnbaum. Algèbre et logique tripolaire
    565 -- 588Judith M. Harper, Jean E. Rubin. Variations of Zorn's lemma, principles of cofinality, and Hausdorff's maximal principle. I. Set forms
    589 -- 612Margaret Murphy Prullage. A theory of restricted variables without existence assumptions
    613 -- 614Howard C. Wasserman. A note on evaluation mappings
    615 -- 616Thomas A. Sudkamp. A proof of Sobociński's conjecture concerning a certain set of lattice-theoretical formulas
    617 -- 621Boleslaw Sobocinski. The modular latticoids
    622 -- 624Dale E. Lichtblau. Prior and the Barcan formula
    625 -- 631Boleslaw Sobocinski. The axioms for latticoids and their associative extensions
    632 -- 637D. Michael Miller, Jon C. Muzio. A ternary universal decision element
    638 -- 639Michael A. Gilbert. A heuristic procedure for natural deduction derivations using reductio ad absurdum
    640 -- 0Stephen L. Bloom, Roman Suszko. Errata: "Investigations into the sentential calculus with identity"
    640 -- 0John R. Chidgey. Errata: "A note on transitivity"
    640 -- 0Henryk Hiz. Errata: "A completeness proof for C-calculus"
    640 -- 0Arnold vander Nat. Errata: "Axiomatic, sequenzen-kalkul, and subordinate proof versions of S9"

    Volume 17, Issue 3

    321 -- 343James McLelland. Epistemic logic with identifiers
    344 -- 348Alex Blum. A logic of belief
    349 -- 360Robert L. Wilson. * F
    361 -- 374Olgierd Narbutt. De quelques problèmes de la logique médiévale
    375 -- 391Marilyn McCord Adams. What does Ockham mean by `supposition'?
    392 -- 394Jekeri Okee. Completeness of the algebra of species
    395 -- 400Howard C. Wasserman. An analysis of the counterfactual conditional
    401 -- 414Graham Priest. Modality as a meta-concept
    415 -- 420Norman M. Martin. Direct analogues of the Sheffer stroke in m-valued logic
    421 -- 423Ivo Thomas. One dimension in PS and PSI
    424 -- 428Stephen Croddy. Russell on the meaning of descriptions
    429 -- 437Jon C. Muzio. A complete classification of three-place functors in two-valued logic
    438 -- 0E. A. Nemesszeghy. Note on an independence proof of Johansson
    439 -- 445Hubert H. Schneider. A deduction system for the full first-order predicate logic
    446 -- 448John Lake. Two notes on Ackermann's set theory
    449 -- 456Robert Warren Button. Monads for regular and normal spaces
    457 -- 461Giorgio Germano. An arithmetical reconstruction of the liar's antinomy using addition and multiplication
    462 -- 464J. B. Beard. nMG
    465 -- 468John A. Paulos. A model-theoretic semantics for modal logic
    469 -- 475John Rybak, Janet Rybak. Venn diagrams extended: map logic
    476 -- 478Jordan Howard Sobel. Principia Mathematica description theory: possible modifications
    479 -- 480Dolph Ulrich. On a modal system of R. A. Bull's

    Volume 17, Issue 2

    161 -- 183Ross T. Brady. Significance logics
    184 -- 190Robert K. Meyer. Negation disarmed
    191 -- 206Robert L. Wilson. On some modal logics related to the Ł-modal system
    207 -- 221Scott K. Lehmann. A first-order logic of knowledge and belief with identity. II
    222 -- 232Jekeri Okee. A species-algebraic interpretation of the intuitionistic propositional calculus
    233 -- 238Charles C. Davis, Vaughn R. McKim. Temporal modalities and the future
    239 -- 247Cyril F. A. Hoormann. A further examination of Saccheri's use of the "consequentia mirabilis"
    248 -- 0Ivo Thomas. Axiom sets equivalent to syllogism and Peirce
    249 -- 250William Frank. A note on the adequacy of translations
    251 -- 252Ladislav Beran. Three identities for ortholattices
    253 -- 256Boleslaw Sobocinski. Pledger lemma and the modal system S3đeg
    257 -- 262William J. Thomas. Consistency of n-order logics
    263 -- 266Kenneth A. Bowen. An Herbrand theorem for prenex formulas of LJ
    267 -- 271Jeremy George Peterson. Shortest single axioms for the classical equivalential calculus
    272 -- 278John A. Barker. Presupposition and entailment
    279 -- 283Berndard D. Katz, Aloysius P. Martinich. The distribution of terms
    284 -- 286Donald H. Pelletier. A note on defining the Rudin-Keisler ordering of ultrafilters
    287 -- 290William G. Lycan. Eternal existence and necessary existence
    291 -- 292Bruce Lercher. Lambda-calculus terms that reduce to themselves
    293 -- 294Laurence S. Gagnon. NOR logic: a system of natural deduction
    295 -- 296Robert L. Armstrong. A question about incompleteness
    297 -- 302G. N. Georgacarakos. Semantics for S4.04, S4.4, and S4.3.2
    303 -- 307Harry Gonshor. Effective density types
    308 -- 310Robert Cogan. A criticism of Sommers' language tree
    311 -- 316Boleslaw Sobocinski. A short equational axiomatization of modular ortholattices
    317 -- 320Boleslaw Sobocinski. A short equational axiomatization of orthomodular lattices

    Volume 17, Issue 1

    1 -- 18Czeslaw Lejewski. On prosleptic premisses
    19 -- 34Vito F. Sinisi. Leśniewski's analysis of Russell's antinomy
    35 -- 43Charles C. Davis. A note on the axiom of choice in Leśniewski's ontology
    44 -- 58Hugh Alexander Montgomery, Richard Routley. 0 and necessitated extensions
    59 -- 77Scott K. Lehmann. A first-order logic of knowledge and belief with identity. I
    78 -- 0Manfred E. Szabo. An addendum to my paper: "A categorical equivalence of proofs"
    79 -- 88Jonathan Broido. On the eliminability of de re modalities in some systems
    89 -- 118Luis M. Laita. A study of algebraic logic from the point of view of category theory
    119 -- 126Luisa Iturrioz. Les algèbres de Heyting-Brouwer et de Łukasiewicz trivalentes
    127 -- 130Günther Frei-Imfeld. Über Kongruenzen höherer Operationen
    131 -- 134Maurice Machover. An independent statement about metric spaces
    135 -- 136Anjan Shukla. Consistent, independent, and distinct propositions. II
    137 -- 146Paul Vincent Spade. An alternative to Brian Skyrms' approach to the Liar
    147 -- 148Brian Skyrms. Definitions of semantical reference and self-reference
    149 -- 152Richard E. Grandy. On the relation between free description theories and standard quantification theory
    153 -- 154Martin W. Bunder. Some notes on: "A deduction theorem for restricted generality"
    155 -- 157William H. Cornish. On Nachbin's characterization of a Boolean lattice
    158 -- 160K. K. Hickin, Jacob Manuel Plotkin. A patching lemma
    runs on