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

    Volume 34, Issue 3

    311 -- 333G. White. Are we finite?
    334 -- 377Michael Makkai. The fibrational formulation of intuitionistic predicate logic I: completeness according to Gödel, Kripke, and Läuchli, Part 1
    378 -- 400Timothy Williamson. Some admissible rules in nonnormal modal systems
    401 -- 419Sergei N. Artëmov, Lev D. Beklemishev. On propositional quantifiers in provability logic
    420 -- 438Stuart T. Smith. Quadratic residues and x:::3:::+y:::3:::=z:::3::: in models of IE::1:: and IE::2::
    439 -- 444Charles B. Daniels. 'Good' defined in terms of 'better'
    445 -- 452Athanassios Tzouvaras. Significant parts and identity of artifacts
    453 -- 468Nino B. Cocchiarella. Foundations with foundationalism.

    Volume 34, Issue 2

    157 -- 168Tapani Hyttinen, Saharon Shelah, Heikki Tuuri. Remarks on Strong Nonstructure Theorems
    169 -- 182Fred Sommers. The World, the Facts, and Primary Logic
    183 -- 192Frank O. Wagner. Stable Groups, Mostly of Finite Exponent
    193 -- 208Paul Thom. Apodeictic Ecthesis
    209 -- 222Aris Noah. Non-Classical Syllogistic Inference and the Method of Resolution
    223 -- 230Bozena Piekart. On Closed Elementary Cuts in Recursively Saturated Models of Peano Arithmetic
    231 -- 250J. Roger Hindley. BCK and BCI Logics, Condensed Detachment and the 2-Property
    251 -- 262M. Gordon Beavers. Extensions of the aleph::0::-Valued Lukasiewicz Propositional Logic
    263 -- 283Giovanna Corsi. Quantified Modal Logics of Positive Rational Numbers and Some Related Systems
    284 -- 294György Serény. Isomorphisms of Finite Cylindrical Set Algebras of Characteristic Zero
    295 -- 301Anthony Bloesch. A Tableau Style Proof System for Two Paraconsistent Logics

    Volume 34, Issue 1

    1 -- 11James E. Baumgartner, Saharon Shelah, Simon Thomas. Maximal Subsets of Infinite Symmetric Groups
    12 -- 28Brian Macpherson. Is It Possible that Belief Isn t Necessary?
    29 -- 35Xizhong Zheng. On the Maximality of Some Pairs of p-t Degrees
    36 -- 49Daniel J. Dougherty. Closed Categories and Categorial Grammar
    50 -- 55Margarita Otero. The Amalgamation Property in Normal Open Induction
    56 -- 83Patrick Blackburn. Nominal Tense Logic
    90 -- 99Ernest Adams. Formalizing the Logic of Positive, Comparative, and Superlative
    100 -- 106Paul E. Howard, Jeffrey Solski. The Strenght of the Delta-system Lemma
    107 -- 131Manuel García-Carpintero Sánchez-Miguel. The Grounds for the Model-theoretic Account of the Logical Properties
    132 -- 139William McCune. Single Axioms for the Left Group and the Right Group Calculi
    140 -- 149Philip L. Peterson. Intermediate Quantifiers for Finch s Proportions
    runs on