External Links

    Journal: Notre Dame Journal of Formal Logic

    Volume 12, Issue 4

    385 -- 405Anton Dumitriu. La science de la logique
    406 -- 422Robert G. Wengert. The logic of essentially ordered causes
    423 -- 428John H. Harris. Ordinal theory in a conservative extension of predicate calculus
    429 -- 434E. William Chapin. The strong decidability of cut logics. II. Generalizations
    435 -- 440Ralph C. Applebee, Biswambhar Pahi. Some results on generalized truth-tables
    441 -- 446John Thomas Canty. Elementary logic without referential quantification
    447 -- 453Ross T. Brady. The consistency of the axioms of abstraction and extensionality in a three-valued logic
    454 -- 458M. C. Bradley. Copi's method of deduction again
    459 -- 460William C. Wilcox. A mistake in Copi's discussion of completeness
    461 -- 466William J. Frascella. Certain counterexamples to the construction of combinatorial designs on infinite sets
    467 -- 478Robert E. Clay. A model for Leśniewski's mereology in functions
    479 -- 482Juliusz Reichbach. Some methods of formal proofs. III
    483 -- 488M. B. Smyth. A diagrammatic treatment of syllogistic
    489 -- 498Nicholas J. Moutafakis. The extensional pragmatics of commands
    499 -- 504Luis E. Sanchis. A generalization of the Gentzen Hauptsatz
    505 -- 506Jean Drabbe. Sur une propriété de préservation
    507 -- 508Ivo Thomas. A proof of a theorem of Łukasiewicz
    509 -- 511John L. Pollock. Henkin style completeness proofs in theories lacking negation

    Volume 12, Issue 3

    257 -- 299Richard L. Poss. Weak forms of the axiom of constructibility
    300 -- 304Richard L. Poss. Measurable cardinals and constructibility without regularity
    305 -- 308Vladeta Vuckovic. Combinatorial operators and their quasi-inverses
    309 -- 321Robert Ackermann. Matrix satisfiability and axiomatization
    322 -- 328E. William Chapin. The strong decidability of cut-logics. I. Partial propositional calculi
    329 -- 334J. C. E. Dekker. Two notes on vector spaces with recursive operations
    335 -- 340George F. Schumm. Solutions to four modal problems of Sobociński
    341 -- 357J. Jay Zeman. A study of some systems in the neighborhood of S4.4
    358 -- 362B. van Rootselaar. A class of models for intermediate logics
    363 -- 370Boleslaw Sobocinski. Concerning some extensions of S4
    371 -- 377Boleslaw Sobocinski. A new class of modal systems
    378 -- 380Laurent Larouche. Examination of the axiomatic foundations of a theory of change. IV
    381 -- 384Boleslaw Sobocinski. A proper subsystem of S4.O4.

    Volume 12, Issue 2

    129 -- 130Ivo Thomas. In memoriam A. N. Prior (1914-1969)
    131 -- 152Richard Routley. Conventionalist and contingency-oriented modal logics
    153 -- 168Hugues Leblanc. Truth-value semantics for a logic of existence
    169 -- 178John R. Gregg. Two modes of deductive inference
    179 -- 182E. William Chapin. Gentzen-like systems for partial propositional calculi. II
    183 -- 187William Russell Belding. Intuitionistic negation
    188 -- 194Rangaswamy V. Setlur. Duality in finite many-valued logic
    195 -- 202Laurence Foss. Quine on translational indeterminacy
    203 -- 213Boleslaw Sobocinski. Atomistic mereology. II
    214 -- 218Nadejda Georgieva. Independence of the axioms and rules of inference of one system of the extended propositional calculus
    219 -- 224Melvin Fitting. A tableau proof method admitting the empty domain
    225 -- 237Louis F. Goble. A system of modality
    238 -- 248Charles H. Applebaum. Isomorphisms of ω-groups
    249 -- 251Boleslaw Sobocinski. A note on an axiom-system of atomistic mereology
    252 -- 254David Makinson. Some embedding theorems for modal logic
    255 -- 256Erik Ellentuck. Incompleteness via simple sets

    Volume 12, Issue 1

    1 -- 61Theodore F. Sullivan. Affine geometry having a solid as primitive
    62 -- 68Robert H. Cowen. Superinductive classes in class-set theory
    69 -- 74Anjan Shukla. Finite model property for five modal calculi in the neighbourhood of S3
    75 -- 80E. William Chapin. Gentzen-like systems for partial propositional calculi. I
    81 -- 85Boleslaw Sobocinski. Lattice-theoretical and mereological forms of Hauber's law
    86 -- 88Cyril F. A. Hoormann. On Hauber's statement of his theorem
    89 -- 103Boleslaw Sobocinski. Atomistic mereology. I
    104 -- 114Frederick S. Gass. Generalized ordinal notation
    115 -- 116V. Frederick Rickey. On weak and strong validity of rules for the propositional calculus
    117 -- 124Mohini Mullick. Does Ockham accept material implication?
    125 -- 128John Donnelly. Some remarks on Geach's predicative and attributive adjectives
    runs on