External Links

    Journal: Notre Dame Journal of Formal Logic

    Volume 30, Issue 4

    485 -- 512Hugues Leblanc, Peter Roeper. On Relativizing Kolmogorov s Absolute Probability Functions
    513 -- 529Awad A. Iskander. An Isomorphism Between Rings and Groups
    530 -- 538Andreas Blass, Saharon Shelah. Near Coherence of Filters III: A Simplified Consistency Proof
    539 -- 542R. Michael Canjar. Cofinalities of Countable Ultraproducts: The Existence Theorem
    543 -- 562Pierangelo Miglioli, Ugo Moscato, Mario Ornaghi, Silvia Quazza, Gabriele Usberti. Some Results on Intermediate Constructive Logics
    563 -- 573Ildikó Sain. An Elementary Proof for Some Semantic Characterizations of Nondeterministic Floyd-Hoare Logic
    574 -- 582Fabio Bellissima. Infinite Sets of Nonequivalent Modalities
    583 -- 597Igor Urbas. Paraconsistency and the C-Systems of da Costa
    598 -- 603Christopher Menzel. On an Unsound Proof of the Existence of Possible Worlds
    604 -- 623Richard L. Mendelsohn. Objects and Existence: Reflections on Free Logic
    624 -- 628Józef Dudek, Andrzej Kisielewicz. On Finite Models of Regular Identities

    Volume 30, Issue 3

    313 -- 0Michael Detlefsen. Introduction
    315 -- 342Johan van Benthem. Logical Constants Across Varying Types
    343 -- 361Michael Byrd. Russell, Logicism, and the Choice of Logical Constants
    362 -- 381Kosta Dosen. Logical Constants as Punctuation Marks
    382 -- 389George Englebretsen. Formatives
    390 -- 400William G. Lycan. Logical Constants and the Glory of Truth-Conditional Semantics
    401 -- 419Tim McCarthy. Logical Form and Radical Interpretation
    420 -- 441Grigori Mints. The Completeness of Provable Realizability
    442 -- 458Jan M. Smith. Propositional Functions and Families of Types
    459 -- 484Neil Tennant. Truth Table Logic, with a Survey of Embeddability Results

    Volume 30, Issue 2

    161 -- 196Albert Visser. Peano s Smart Children: A Provability Logical Study of Systems with Built-in Consistency
    197 -- 206Charles Steinhorn, Carlo Toffalori. The Boolean Spectrum of an o-Minimal Theory
    207 -- 223James Garson. Modularity and Relevant Logic
    224 -- 240Kees Doets. Monadic Pi::1:::::1:::-Theories of Pi::1:::::1:::-Properties
    241 -- 261Peter Simons. Combinators and Categorial Grammar
    262 -- 267Balázs Biró. Isomorphic but Not Lower Base-Isomorphic Cylindric Algebras of Finite Dimension
    268 -- 270Norbert Brunner. Set-Mappings on Dedekind Sets
    271 -- 284Fred Johnson. Models for Modal Syllogisms
    285 -- 290George F. Schumm. Some Compactness Results for Modal Logic
    291 -- 307John T. Kearns. Lesniewski s Strategy and Modal Logic

    Volume 30, Issue 1

    1 -- 19Michael Dummett. More about Thoughts
    20 -- 35Johan van Benthem. Notes on Modal Definability
    36 -- 66Wayne D. Blizard. Multiset Theory
    67 -- 90Pierangelo Miglioli, Ugo Moscato, Mario Ornaghi, Gabriele Usberti. A Constructivism Based on Classical Truth
    91 -- 104Alberto Peruzzi. The Theory of Descriptions Revisited
    105 -- 116Franco Montagna. Pathologies in Two Syntactic Categories of Partial Maps
    117 -- 129John K. Slaney. On the Structure of De Morgan Monoids with Corollaries on Relevant Logic and Theories
    130 -- 137Osamu Morikawa. Some Modal Logics Based on a Three-Valued Logic
    138 -- 150Patrick Cégielski. The Elementary Theory of the Natural Lattice Is Finitely Axiomatizable
    151 -- 153R. A. Bull. Correction to Survey of generalizations of Urquhart semantics
    153 -- 0James C. Owings. Corrigendum to Diagonalization and the Recursion Theorem
    runs on