External Links

    Journal: Notre Dame Journal of Formal Logic

    Volume 10, Issue 4

    337 -- 369John Thomas Canty. Leśniewski's terminological explanations as recursive concepts
    370 -- 384John Corcoran, George Weaver. Logical consequence in modal logic: Natural deduction in S5
    385 -- 409Laurent Larouche. Examination of the axiomatic foundations of a theory of change. III
    410 -- 411Anjan Shukla. A note on independence
    412 -- 0Jonathan P. Seldin. Corrigendum to my paper: "Note on definitional reductions"
    413 -- 414Trevor Evans. An unsolvable problem concerning identities
    415 -- 424Joseph S. Wu. The problem of existental import (From George Boole to P. F. Strawson
    425 -- 451Eugen Mihailescu. L'ordre d'incomplètitude pour le système d'équivalence la négation et la réciprocité
    452 -- 0A. N. Prior. Corrigendum to C. A. Meredith's and my paper: "Equational logic"

    Volume 10, Issue 3

    225 -- 234Thomas J. Grilliot. Selection functions for recursive functionals
    235 -- 238William C. Nemitz. Semi-Boolean lattices
    239 -- 246Vito F. Sinisi. Leśniewski and Frege on collective classes
    247 -- 256J. Jay Zeman. Modal systems in which necessity is "factorable"
    257 -- 260J. Jay Zeman. Complete modalization in S4.4 and S4.0.4
    261 -- 262George F. Schumm. On some open questions of B. Sobociński
    263 -- 265George F. Schumm. On a modal system of D. C. Makinson and B. Sobociński
    266 -- 270C. A. Meredith. Equational postulates for the Sheffer stroke
    271 -- 272A. N. Prior. Propositional calculus in implication and non-equivalence
    273 -- 274A. N. Prior. On the calculus MCC
    275 -- 276Michael Anderson. Note on the mortality problem for shift state trees
    277 -- 284Laurent Larouche. Examination of the axiomatic foundations of a theory of change. II
    285 -- 297Diana Brignole. Equational characterization of Nelson algebra
    298 -- 302J. Kent Minichiello. An extension of negationless logic
    303 -- 308Stephen L. Bloom. A semi-completeness theorem
    309 -- 312C. A. Meredith. Terminal functors permissible with syllogistic
    313 -- 316Harry V. Stopes-Roe. An economy in the formation rules for quantification theory
    317 -- 323William J. Frascella. The non-existence of a certain combinatorial design on an infinite set
    324 -- 326Desmond Paul Henry. Leśniewski's ontology and some medieval logicians
    327 -- 330Setsuo Saito. A theory of categorical syllogism
    331 -- 335Robert D. Carnes. A reduction procedure for Sheffer stroke formulas
    336 -- 0Charles D. Parsons. Corrigendum to my paper: "A propositional calculus intermediate between the minimal calculus and the classical"

    Volume 10, Issue 2

    113 -- 149Richard Routley. Existence and identity in quantified modal logics
    150 -- 162Richard L. Purtill. Doing logic by computer
    163 -- 180John T. Kearns. Two views of variables
    181 -- 213D. L. Székely. The principles of the theory of the unification of sciences
    214 -- 224Juliusz Reichbach. Some examples of different methods of formal proofs with generalizations of the satisfiability definition

    Volume 10, Issue 1

    1 -- 17Karel L. de Bouvère. Remarks on classification of theories by their complete extensions
    18 -- 30Nino B. Cocchiarella. A substitution free axiom set for second order logic
    31 -- 46Albert M. Sweet. The pragmatics of monadic quantification
    47 -- 63John Thomas Canty. The numerical epsilon
    64 -- 76Richard Beatty. Peirce's development of quantifiers and of predicate logic
    77 -- 89H. Paul Williams. ω
    90 -- 94James Rosenberg. The application of ternary semi-groups to the study of n-valued Sheffer functions
    95 -- 96C. W. Leininger. Concerning some proposals for quantum logic
    97 -- 112M. K. Rennie. Theory of procedures. I. Simple conditionals
    runs on