External Links

    Journal: Notre Dame Journal of Formal Logic

    Volume 31, Issue 4

    487 -- 497Toshiyasu Arai. Derivability Conditions on Rosser s Provability Predicates
    498 -- 508Allen Hazen. Actuality and Quantification
    509 -- 514David Marker. Enumerations of Turing Ideals with Applications
    515 -- 528Piero Pagliani. Remarks on Special Lattices and Related Constructive Logics with Strong Negation
    529 -- 547Yde Venema. Expressiveness and Completeness of an Interval Tense Logic
    560 -- 575Cinzia Bonotto. A Generalization of the Adequacy Theorem for the Quasi-Senses
    576 -- 579George F. Schumm, Stewart Shapiro. Expressive Completeness and Decidability
    580 -- 601Alexander Bochman. Concerted Instant-Interval Temporal Semantics II: Temporal Valuations and Logics of Change

    Volume 31, Issue 3

    337 -- 345Leon Harkleroad. Recursive Surreal Numbers
    346 -- 368Wayne D. Blizard. Negative Membership
    369 -- 370Stephen Pollard. A Strengthening of Scott s ZF:::!=::: Result
    371 -- 374Alexander Abian, Wael A. Amin. An Equivalent of the Axiom of Choice in Finite Models of the Powerset Axiom
    375 -- 381Bernhard Banaschewski, Gregory H. Moore. The Dual Cantor-Bernstein Theorem and the Partition Principle
    382 -- 388Gary P. Shannon. Provable Forms of Martin s Axiom
    389 -- 402Thierry Lucas, René Lavendhomme. Varying Modal Theories
    403 -- 414Alexander Bochman. Concerted Instant-Interval Temporal Semantics I: Temporal Ontologies
    415 -- 436John Nolt. A Fully Logical Inductive Logic
    437 -- 461Christopher Gauker. Semantics without Reference
    462 -- 475Francis Jeffry Pelletier, Norman M. Martin. Post s Functional Completeness Theorem

    Volume 31, Issue 2

    169 -- 202Arnon Avron. Relevance and Paraconsistency - A New Approach, Part II: The Formal Systems
    203 -- 221Krister Segerberg. Validity and Satisfaction in Imperative Logic
    222 -- 224Timothy J. Suredonk. A Lemma in the Logic of Action
    225 -- 231Samuel R. Buss. The Modal Logic of Pure Provability
    232 -- 240Robert Cowen. Two Hypergraph Theorems Equivalent to BPI
    241 -- 262Mike Townsend. Complexity for Type-2 Relations
    263 -- 273John Hawthorn. Natural Deduction in Normal Modal Logic
    274 -- 285Chris Mortensen. Models for Inconsistent and Incomplete Differential Calculus
    286 -- 290Timothy Williamson. Verification, Falsification, and Cancellation in KT
    291 -- 303William Demopoulos. The Homogeneous Form of Logic Programs with Equality
    304 -- 307M. E. Adams, R. Cignolli. A Note on the Axiomatization of Equational Classes of n-Valued Lukasiewicz Algebras
    308 -- 329Raymond Turner. Logics of Truth
    330 -- 336Balázs Biró. On Generalizations of a Theorem of Vaught

    Volume 31, Issue 1

    1 -- 13Saharon Shelah, Charles Steinhorn. The Nonaxiomatizability of L(Q:::2:::::aleph::1::::) by Finitely Many Schemata
    14 -- 25Nuel Belnap. Linear Logic Displayed
    26 -- 36Zachari Gleit, Warren D. Goldfarb. Characters and Fixed Points in Provability Logic
    44 -- 63Frans Voorbraak. A Simplification of the Completeness Proofs for Guaspari and Solovay s R
    64 -- 75Norbert Brunner. The Fraenkel-Mostowski Method, Revisited
    76 -- 80John Fox. Motivation and Demotivation of a Four-Valued Logic
    81 -- 105Valentin Goranko. Modal Definability in Enriched Languages
    106 -- 126Fred Sommers. Predication in the Logic of Terms
    127 -- 135Arnon Avron. Gentzenizing Schroeder-Heister s Natural Extension of Natural Deduction
    136 -- 149Sven Ove Hansson. Defining Good and Bad in Terms of Better
    runs on