External Links

    Journal: Notre Dame Journal of Formal Logic

    Volume 57, Issue 4

    441 -- 442Rosalie Iemhoff, George Metcalfe. Special Issue on Admissible Rules and Unification
    443 -- 476Franz Baader, Thanh Binh Nguyen 0003, Stefan Borgwardt, Barbara Morawska. Deciding Unifiability and Computing Local Unifiers in the Description Logic EL without Top Constructor
    477 -- 502Leonardo Cabrer. Unification on Subvarieties of Pseudocomplemented Distributive Lattices
    503 -- 521Alex Citkin. Algebraic Logic Perspective on Prucnal's Substitution
    523 -- 549Wojciech Dzik, Piotr Wojtylak. Modal Consequence Relations Extending S4.3: An Application of Projective Unification
    551 -- 568Tomasz Kowalski, Lloyd Humberstone. An Abelian Rule for BCI - and Variations
    569 -- 606James G. Raftery. Admissible Rules and the Leibniz Hierarchy

    Volume 57, Issue 3

    329 -- 339Stephen G. Simpson. Implicit Definability in Arithmetic
    341 -- 353Kristine Harjes, Pavel Naumov. Functional Dependence in Strategic Games
    355 -- 368Sune Kristian Jakobsen, Jakob Grue Simonsen. Some Remarks on Real Numbers Induced by First-Order Spectra
    369 -- 374Thomas Hofweber, Ralf Schindler. Hyperreal-Valued Probability Measures Approximating a Real-Valued Measure
    375 -- 388Horst Herrlich, Paul E. Howard, Eleftherios Tachtsis. Finiteness Classes and Small Violations of Choice
    389 -- 398Bernard A. Anderson, Barbara F. Csima. Degrees That Are Not Degrees of Categoricity
    399 -- 410Jafar S. Eivazloo, Somayyeh Tari. SCE-Cell Decomposition and OCP in Weakly O-Minimal Structures
    411 -- 430Tomoyuki Suzuki. The Distributivity on Bi-Approximation Semantics
    431 -- 439Joel David Hamkins, Cole Leahy. Algebraicity and Implicit Definability in Set Theory

    Volume 57, Issue 2

    153 -- 179Stefan Wintein. From Closure Games to Strong Kleene Truth
    181 -- 193Costas Dimitracopoulos, Vasileios S. Paschalis. End Extensions of Models of Weak Arithmetic Theories
    195 -- 207Florian Pelupessy. Phase Transition Results for Three Ramsey-Like Theorems
    209 -- 220Samuel Alexander. Guessing, Mind-Changing, and the Second Ambiguous Class
    221 -- 231Radek Honzik, Jonathan Verner. A Lifting Argument for the Generalized Grigorieff Forcing
    233 -- 247Rosalie Iemhoff. A Syntactic Approach to Unification in Transitive Reflexive Modal Logics
    249 -- 279Joanna Golinska-Pilarek, Taneli Huuskonen. Non-Fregean Propositional Logic with Quantifiers
    281 -- 286Christian Espíndola. Semantic Completeness of First-Order Theories in Constructive Reverse Mathematics
    287 -- 327Elia Zardini. Restriction by Noncontraction

    Volume 57, Issue 1

    1 -- 25Jared Corduan, Marcia J. Groszek. Reverse Mathematics and Ramsey Properties of Partial Orderings
    27 -- 44Matthew Jura. Reverse Mathematics and the Coloring Number of Graphs
    45 -- 57Ekaterina B. Fokina, Andrey Frolov, Iskander Sh. Kalimullin. Categoricity Spectra for Rigid Structures
    59 -- 71Christina Goddard. Improving a Bounding Result That Constructs Models of High Scott Rank
    73 -- 93Jonathan Stephenson. 2 Degrees
    95 -- 103Lloyd Humberstone. Note on Extending Congruential Modal Logics
    105 -- 125Neil Tennant. Rule-Irredundancy and the Sequent Calculus for Core Logic
    127 -- 139Ermek S. Nurkhaidarov, Erez Shochat. Closed Normal Subgroups of the Automorphism Group of a Saturated Model of Peano Arithmetic
    141 -- 150Majid Alizadeh, Mohammad Ardeshir, Wim Ruitenburg. Boolean Algebras in Visser Algebras
    runs on