External Links

    Journal: Notre Dame Journal of Formal Logic

    Volume 32, Issue 4

    499 -- 512Rodney G. Downey. On Pi::1:::::0::: Classes and their Ranked Points
    513 -- 532David Charles McCarty. Polymorphism and Apartness
    533 -- 553Wim Ruitenburg. Inequality in Constructive Mathematics
    554 -- 561Albert Visser. On the Sigma::1:::::0:::-Conservativity of Sigma::1:::::0:::-Completeness
    562 -- 572Alessandra Carbone. Provable Fixed Points in I Delta::0:: + Omega::1::
    573 -- 579Henryk Kotlarski. Full Satisfaction Classes: A Survey
    580 -- 597Kosta Dosen. Ancestral Kripke Models and Nonhereditary Kripke Models for the Heyting Propositional Calculus
    609 -- 611Renato A. Lewin, Irene F. Mikenberg, María G. Schwarze. C::1:: Is Not Algebraizable
    612 -- 617Christopher C. Leary. Pleasant Ideals
    618 -- 636Claudio Pizzi. Decision Procedures for Logics of Consequential Implication
    637 -- 650Carlo Toffalori. Classifying Pairs of Equivalence Relations

    Volume 32, Issue 3

    323 -- 358David Charles McCarty. Incompleteness in Intuitionistic Metamathematics
    359 -- 391Gonzalo E. Reyes. A Topos-Theoretic Approach to Reference and Modality
    392 -- 398Roman Kossak, James H. Schmerl. Minimal Satisfaction Classes with an Application to Rigid Models of {Peano} Arithmetic
    399 -- 408Richard Kaye. On Cofinal Extensions of Models of Fragments of Arithmetic
    409 -- 425William C. Purdy. A Logic for Natural Language
    426 -- 431David Marker. End Extensions of Normal Models of Open Induction
    432 -- 447Francesco Orilia. Type-Free Property Theory, Exemplification and Russell s Paradox
    448 -- 457Renling Jin. Some Independence Results Related to the Kurepa Tree
    458 -- 493Jody Azzouni. A Simple Axiomatizable Theory of Truth

    Volume 32, Issue 2

    167 -- 172Tapani Hyttinen. Preservation by Homomorphisms and Infinitary Languages
    173 -- 187Ludomir Newelski. On Type Definable Subgroups of a Stable Group
    188 -- 192Dugald Macpherson. Finite Axiomatizability and Theories with Trivial Algebraic Closure
    193 -- 211Graham Priest. Intensional Paradoxes
    212 -- 232Hugues Leblanc, Peter Roeper, Michael Thau, George Weaver. Henkin s Completeness Proof: Forty Years Later
    233 -- 242Karol Habart. Bounds in Weak Truth-Table Reducibility
    242 -- 247Loredana Biacino, Giangiacomo Gerla. Connection Structures
    248 -- 254Bruce E. R. Thompson. Why is Conjunctive Simplication Invalid?
    255 -- 265Julius B. Barbanel. Almost Hugeness and a Related Notion
    266 -- 275Andrea Sorbi. Embedding Brouwer Algebras in the Medvedev Lattice
    290 -- 293Alexander Abian, Wael A. Amin. The Cardinality of Powersets in Finite Models of the Powerset Axiom
    294 -- 306Robert D. Carnes, Philip L. Peterson. Intermediate Quantifiers Versus Percentages
    307 -- 319Karl Schlechta. Theory Revision and Probability

    Volume 32, Issue 1

    1 -- 46Peter Roeper, Hugues Leblanc. Indiscernability and Identiy in Probability Theory
    47 -- 86Aldo Bressan. New Semantics for the Extensional but Hyper-intensional Part L::alpha:: of the Modal Sense Language SL::alpha:::::nu:::
    87 -- 111Richard Blecksmith, Gilbert Null. Matrix Representation of Husserl s Part-Whole-Foundation Theory
    112 -- 128Carlo Toffalori. Stability for Pairs of Equivalence Relations
    129 -- 146Charles J. Kelly. The Logic of the Liar from the Standpoint of the Aristotelian Syllogistic
    147 -- 160Arnon Avron. Relevance and Paraconsistency - A New Approach, Part III: Cut-Free Gentzen-Type Systems
    runs on