External Links

    Journal: Notre Dame Journal of Formal Logic

    Volume 19, Issue 4

    513 -- 522William J. Collins. Provably recursive real numbers
    523 -- 542Tamás Gergely, Konstantin Vershinin. Model theoretical investigation of theorem proving methods
    543 -- 557Leo Simons. More logics without tautologies
    558 -- 578Tobias Chapman. A modal logic with temporal variables
    579 -- 590Paul Vincent Spade. John Buridan on the liar: a study and reconstruction
    591 -- 592Charles D. Brown. The ontological theorem
    593 -- 598John L. Hickman. The ideal of orderable subsets of a set
    599 -- 613Earline Jennifer Ashworth. Multiple quantification and the use of special quantifiers in early sixteenth century logic
    614 -- 616George Englebretsen. Aristotle on the subject of predication
    617 -- 622Allen Hazen. The eliminability of the actuality operator in propositional modal logic
    623 -- 628George F. Schumm. K in its place
    629 -- 633Howard C. Wasserman. A second-order axiomatic theory of strings
    634 -- 636Donald Nute. An incompleteness theorem for conditional logic
    637 -- 638Thomas A. Sudkamp. An additional remark on self-conjugate functions of Boolean algebras
    639 -- 645Anna Silverstein. A generalization of combinatorial operators
    646 -- 652Ermanno Bencivenga. A semantics for a weak free logic
    653 -- 662William H. Friedman. Uncertainties over distribution dispelled
    663 -- 673John Robert Baker. Some remarks on Quine's arguments against modal logic
    674 -- 678R. Beazer. Axioms for generalized Newman algebras
    679 -- 686Robert Warren Button. A note on the Q-topology
    687 -- 692Gisèle Fischer Servi. The finite model property for MIPQ and some consequences
    693 -- 701Northrup Fowler III. Effective inner product spaces
    702 -- 704John L. Hickman. Commutativity of generalized ordinals
    runs on