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
    runs on