External Links

    Journal: Notre Dame Journal of Formal Logic

    Volume 34, Issue 4

    471 -- 498Michael Makkai. The fibrational formulation of intuitionistic predicate logic I: completeness according to Gödel, Kripke, and Läuchli, Part 2
    499 -- 526Peter Milne. Minimal doxastic logic: probabilistic and other completeness theorems
    527 -- 538Andrzej Orlicki. Multimorphisms over enumerated sets
    539 -- 563R. Gregory Taylor. Zermelo, reductionism, and the philosophy of mathematics
    564 -- 582Claudio Cerrato. Cut-free modal sequents for normal modal logics
    583 -- 596Philip Kremer. The Gupta-Belnap systems S:::#::: and S:::*::: are not axiomatisable
    602 -- 606Robert Cowen, Katherine Wyatt. BREAKUP: a preprocessing algorithm for satisfiability testing of CNF formulas
    621 -- 624Claudio Pizzi. Consequential implication. A correction to: Decision procedures for logics of consequential implication
    runs on