External Links

    Journal: Notre Dame Journal of Formal Logic

    Volume 23, Issue 4

    353 -- 357J. Michael Dunn. A relational representation of quasi-Boolean algebras
    358 -- 366Philip Hugly, Charles Sayward. Indenumerability and substitutional quantification
    367 -- 374John P. Burgess. Axioms for tense logic. I. "Since" and "until"
    375 -- 383John P. Burgess. Axioms for tense logic. II. Time periods
    384 -- 392Michael Evangelist. Nonstandard propositional logics and their application to complexity theory
    393 -- 408Craig Smorynski. A note on initial segment constructions in recursively saturated models of arithmetic
    409 -- 426Jacob Manuel Plotkin, John W. Rosenthal. The expected complexity of analytic tableaux analyses in propositional calculus
    427 -- 434J. C. E. Dekker. Automorphisms of ω-octahedral graphs
    435 -- 442A. J. Dale. Material equivalence and tautological entailment
    443 -- 452Craig Smorynski. Commutativity and self-reference
    453 -- 458Allan Bäck. Syllogisms with reduplication in Aristotle
    459 -- 470Merrie Bergmann. Expressibility in two-dimensional languages for presupposition
    471 -- 472Giangiacomo Gerla. A note on the principle of predication
    runs on