External Links

    Journal: Notre Dame Journal of Formal Logic

    Volume 15, Issue 4

    497 -- 510Newton C. A. da Costa. On the theory of inconsistent formal systems
    511 -- 551Charles Francis Quinn. An analysis of the concept of constructive categoricity
    552 -- 568Nino B. Cocchiarella. Fregean semantics for a realist ontology
    569 -- 588M. B. Smyth. Involution as a basis for propositional calculi
    589 -- 597Boleslaw Sobocinski. A theorem concerning a restricted rule of substitution in the field of propositional calculi. II
    598 -- 600R. L. Goodstein. Satisfiability in a larger domain
    601 -- 607John Grant. Imcomplete models
    608 -- 612Peter Swiggart. Self reference in formal languages
    613 -- 614George Englebretsen. A note on contrariety
    615 -- 618Kwame Gyekye. Aristotle and a modern notion of predication
    619 -- 634E. William Chapin. Set-valued set theory. I
    635 -- 638James Andrew Fulton. Unary predicates
    639 -- 640Alan C. Wilde. A substitution property
    641 -- 647Jean-Claude Volgo. Description theory: critical defense of a Russellian approach
    648 -- 0Dolph Ulrich. Erratum: "Some results concerning finite models for sentential calculi"
    648 -- 0Boleslaw Sobocinski. Erratum: "Modal system S3 and the proper axioms of S4.02 and S4.04"
    648 -- 0Alberto M. Dou. Erratum: "Logical and historical remarks on Saccheri's geometry"
    648 -- 0Hugues Leblanc, D. Paul Snyder. Erratum: "Duals of Smullyan trees"
    648 -- 0Aleksandar Kron. Erratum: "A note on E"
    648 -- 0Rangaswamy V. Setlur. Erratum: "On the equivalence of strong and weak validity of rule schemes in the two-valued of rule schemes in the two-valued propositional calculus"
    648 -- 0Nicholas J. DeLillo. Erratum: "A formal characterization of ordinal numbers"
    648 -- 0John G. Stevenson. Erratum: "Donnelly on Geach"

    Volume 15, Issue 3

    353 -- 369Albert Sade. Indice de vérité, fonctions implicationnelles accessibles, recensement des thèses
    370 -- 378John Corcoran, George Weaver. Logical consequence in modal logic. II. Some semantic systems for S4
    379 -- 401Gary Gilford Gleason. Normal and skew systems
    402 -- 410Charles F. Kielkopf. K1 as a Dawson modeling of A. R. Anderson's sense of "ought"
    411 -- 431Leo Simons. Logic without tautologies
    432 -- 442H. Julian Wadleigh. Translation of the simple theory of types into a first order language
    443 -- 454Newton C. A. da Costa. $\alpha$-models and the systems $T$ and $T^\ast$
    455 -- 461Louis F. Goble. Gentzen systems for modal logic
    462 -- 464Mary Sirridge. William of Sherwood on propositions and their parts
    465 -- 476Boleslaw Sobocinski. A theorem concerning a restricted rule of substitution in the field of propositional calculi. I
    477 -- 0Ivo Thomas. On Meredith's sole positive axiom
    478 -- 480V. Frederick Rickey. The one variable implicational calculus
    481 -- 484John Lake. Ordered pairs and cardinality in new foundations
    485 -- 486T. C. Wesselkamper. A note on UDE's in an n-valued logic
    487 -- 488Andrés R. Raggio. A simple proof of Herbrand's theorem
    489 -- 490Howard Burdick. On syntactical characterization of logical expressions
    491 -- 493Alan C. Wilde. Generalizations of the distributive and associative laws
    494 -- 496Robert W. Murungi. On a nonthesis of classical modal logic

    Volume 15, Issue 2

    177 -- 191Manfred E. Szabo. A categorical equivalence of proofs
    192 -- 206Martin W. Bunder. Various systems of set theory based on combinatory logic
    207 -- 224James K. Feibleman. Professor Quine and real classes
    225 -- 244Robert P. McArthur, David Welker. Non-assertoric inference
    245 -- 264Chung-ying Cheng. On referentiality and its conditions
    265 -- 278Howard C. Wasserman. Admissible rules, derivable rules, and extendible logistic systems
    279 -- 288Günther Frei-Imfeld. Über eine Erweiterung der algebraischen Operationen
    289 -- 294Robert Goldblatt. A study of Z modal systems
    295 -- 297George F. Schumm. Z
    298 -- 300Paul Vincent Spade. Ockham on self-reference
    301 -- 311Bohuslav T. Peklo. Sind die deontischen Funktoren distributiv?
    312 -- 316J. Czermak. Matrix calculi SS1M and SS1I compared with axiomatic systems
    317 -- 324Thomas M. Hearne, Carl G. Wagner. Boolean subtractive algebras
    325 -- 330Harold Goldberg, Hugues Leblanc, George Weaver. A strong completeness theorem for 3-valued logic
    331 -- 332Zane Parks, Terry L. Smith. The inadequacy of Hughes and Cresswell's semantics for the CI systems
    333 -- 334Zane Parks. Semantics for contingent identity systems
    335 -- 343Wilson E. Singletary. Many-one degrees associated with partial propositional calculi
    344 -- 346Kenneth W. Collier. A result of extending Bochvar's 3-valued logic
    347 -- 348Ivo Thomas. On a passage of Aristotle
    349 -- 350Alex Blum. A note on natural deduction
    351 -- 352Charles W. Werner. Deductive inferences from particular to general

    Volume 15, Issue 1

    1 -- 15Wilfred G. Malcolm. Some results and algebraic applications in the theory of higher-order ultraproducts
    16 -- 24Michael J. Loux, Wm. David Solomon. Quine on the inscrutability and relativity of reference
    25 -- 34Martin W. Bunder. Propositional and predicate calculuses based on combinatory logic
    35 -- 44John Evenden. Generalised logic
    45 -- 62Roderic A. Girle. Possibility pre-supposition free logics
    63 -- 72Jordan Howard Sobel. Principia Mathematica description theory: the classical and an alternative notation
    73 -- 84Peter B. Andrews. Resolution and the consistency of analysis
    85 -- 96Eugen Mihailescu. Les propriétés du foncteur Nicod par rapport à le réciprocité et conjonction. II
    97 -- 121J. Michael Dunn, Hugues Leblanc, Robert K. Meyer. Completeness of relevant quantification theories
    122 -- 132John W. Rosenthal. ω<>)
    133 -- 140Jon C. Muzio. Partial universal decision elements
    141 -- 146Robert E. Clay. Some mereological models
    147 -- 148George F. Schumm. S3.02=S3.03
    149 -- 155J. G. Anderson. A note on finite intermediate logics
    156 -- 160David Meredith 0002. Combinatory and propositional logic
    161 -- 164Ralph L. Slaght. A concise method for translating propositional formulae containing the standard truth-functional connectives into a Sheffer stroke equivalent; plus an extension of the method
    165 -- 166Robert G. Wengert. Schematizing De Morgan's argument
    167 -- 168Bruce White. A note on natural deduction in many-valued logic
    169 -- 172Boleslaw Sobocinski. Concerning the proper axioms of S4.02
    173 -- 175T. Y. Pak. McCawley and logic
    176 -- 0Frank Fox. A note on a consistency proof
    runs on