External Links

    Journal: Notre Dame Journal of Formal Logic

    Volume 46, Issue 2

    127 -- 146Joost J. Joosten. The Closed Fragment of the Interpretability Logic of PRA with a Constant for
    147 -- 164Eric Rosen. On the First-Order Prefix Hierarchy
    165 -- 171Philipp Gerhardy. The Role of Quantifier Alternations in Cut Elimination
    173 -- 180Merrie Bergmann. Finite Tree Property for First-Order Logic with Identity and Functions
    181 -- 205Martin W. Bunder, W. J. M. Dekkers. Equivalences between Pure Type Systems and Systems of Illative Combinatory Logic
    207 -- 216Patrizio Cintioli. Sets without Subsets of Higher Many-One Degree
    217 -- 230Raymond E. Jennings, Kam Sing Leung. A Deontic Counterpart of Lewis's S1
    231 -- 233N. Raja. A Negation-free Proof of Cantor s Theorem
    235 -- 247Julian C. Cole. Deflating Existential Consequence: A Case for Nominalism
    runs on