External Links

    Journal: Notre Dame Journal of Formal Logic

    Volume 3, Issue 4

    209 -- 233Gordon L. Brumm. The method of possibility-diagrams for testing the validity of certain types of inferences, based on Jevons' logical alphabet
    234 -- 242D. L. Székely. A preliminary report on the theory of unification of sciences and its concept transforming automation
    243 -- 255Thomas W. Scharle. A diagram of the functors of the two-valued propositional calculus
    256 -- 258Leo Simons. A reduction in the number of independent axiom schemata for S4
    259 -- 269Frederick James Crosson. Formal logic and formal ontology in Husserl's phenomenology
    270 -- 273Thomas G. McLaughlin. On an extension of a theorem of Friedberg
    274 -- 278Boleslaw Sobocinski. A note on the generalized continuum hypothesis. I
    279 -- 283Boleslaw Sobocinski. A remark concerning the third theorem about the existence of successors of cardinals
    284 -- 286Paula Marie Wilde. A new condition for a modular lattice
    287 -- 288Thomas W. Scharle. Note to my paper: "A diagram of the functors of the two-valued propositional calculus"
    289 -- 290Rolf Schock. A note on subjunctive and counterfactual implication

    Volume 3, Issue 3

    129 -- 132Shih-Chao Liu. Recursive linear orderings and hyperarithmetical functions
    133 -- 141S. Summersbee, A. Walters. Programming the functions of formal logic
    142 -- 147A. N. Prior. Quantification and Ł-modality
    148 -- 151Albert A. Mullin. Some theorems on the structure of mutant sets and their applications to group and ring theories
    152 -- 166D. L. Székely. A theory of translation and transformation of languages
    167 -- 169Boleslaw Sobocinski. A set-theoretical formula equivalent to the axiom of choice
    170 -- 174Ivo Thomas. Finite limitations on Dummet's LC
    175 -- 178Otto Bird. What Pierce means by leading principles
    179 -- 186Michael D. Resnik. A decision procedure for positive implication
    187 -- 192Boleslaw Sobocinski. Six new sets of independent axioms for distributive lattices with O and I
    193 -- 198Desmond Paul Henry. An Anselmian regress
    199 -- 200Ivo Thomas. Solutions of five modal problems of Sobociński
    201 -- 205Hugues Leblanc. Structural rules of inference
    206 -- 208Boleslaw Sobocinski. An axiom-system for {K;N}-propositional calculus related to Simons' axiomatization of S3

    Volume 3, Issue 2

    65 -- 74Thoralf Skolem. Proof of some theorems on recursively enumerable sets
    75 -- 78Shih-Chao Liu. Four types of general recursive well-orderings
    79 -- 82Nuel D. Belnap Jr., Hugues Leblanc. Intuitionism reconsidered
    83 -- 101Ivan Boh. A study in Burleigh: Tractatus de regulis generalibus consequentiarum
    102 -- 107Juliusz Reichbach. On the connection of the first-order functional calculus with many-valued propositional calculi
    108 -- 0Ivo Thomas. On the infinity of positive logic
    109 -- 113Boleslaw Sobocinski. A note on the regular and irregular modal systems of Lewis
    114 -- 117Robert E. Clay. A simple proof of functional completeness in many-valued logics based on Łukasiewicz's C and N
    118 -- 119Albert A. Mullin. A note on a weakened Goldbach-like conjecture
    120 -- 122Storrs McCall. A simple decision procedure for one-variable implicational/negation formulae in intuitionist logic
    123 -- 128Boleslaw Sobocinski. On the generalized Brouwerian axioms

    Volume 3, Issue 1

    1 -- 40Guido Küng. Bibliography of Soviet work in the field of mathematical logic and the foundations of mathematics, from 1917-1957
    41 -- 50Eric Foxley. The determination of all Sheffer functions in 3-valued logic, using a logical computer
    51 -- 60Boleslaw Sobocinski. A contribution to the axiomatization of Lewis' system S5
    61 -- 63G. Y. Rainich. Notes on foundations. II. On Galois connections
    64 -- 0Ivo Thomas. The rule of excision in positive implication
    runs on