External Links

    Journal: Notre Dame Journal of Formal Logic

    Volume 39, Issue 4

    447 -- 463Carlo Toffalori. Lattice Ordered O-Minimal Structures
    464 -- 484Jan A. Bergstra, Alban Ponse. Bochvar-McCarthy Logic and Process Algebra
    485 -- 506Ming Xu. Uncompactness of Stit Logics Containing Generalized Refref Conditionals
    507 -- 518Enrique Casanovas, Byunghan Kim. A Supersimple Nonlow Theory
    519 -- 526John Chisholm, Michael Moses. An Undecidable Linear Order That Is n-Decidable for All n
    527 -- 530Tapani Hyttinen. A Remark on Algebraic Closure and Orthogonality
    531 -- 544Tomasz Polacik. Pitts Quantifiers Are Not Topological Quantification
    545 -- 553John F. Phillips. A Note on the Modal and Temporal Logics for N-Dimensional Spacetime
    554 -- 572Adriane A. Rini. Is There a Modal Syllogistic?
    573 -- 580Oliver Lemon, Ian E. Pratt. On the Insufficiency of Linear Diagrams for Syllogisms
    600 -- 612Stewart Shapiro. Book Review: John P. Burgess and Gideon Rose. A Subject with No Object: Strategies for Nominalistic Interpretation of Mathematics

    Volume 39, Issue 3

    287 -- 306Krister Segerberg. Irrevocable Belief Revision in Dynamic Doxastic Logic
    307 -- 324Eugenio Chinchilla. A Model of inside a Subexponential Time Resource
    325 -- 331Akito Tsuboi, Kentaro Wakai. On Interpretability of Almost Linear Orderings
    332 -- 345Eduardo L. Fermé, Ricardo Oscar Rodríguez. Semi-Contraction: Axioms and Construction
    346 -- 362Wallace A. Murphree. Numerical Term Logic
    363 -- 388Zlatan Damnjanovic. Strictly Primitive Recursive Realizability, II. Completeness with Respect to Iterated Reflection and a Primitive Recursive-Rule
    389 -- 405Leon Horsten. A Kripkean Approach to Unknowability and Truth
    406 -- 421Bernhard Heinemann. Topological Modal Logics Satisfying Finite Chain Conditions
    422 -- 435Stephen Pollard. Homeomorphism and the Equivalence of Logical Systems
    436 -- 445Jean-Pierre Marquis. Book Review: Colin McLarty. Elementary Categories, Elementary Toposes.

    Volume 39, Issue 2

    157 -- 189Reed Solomon. Reverse Mathematics and Fully Ordered Groups
    190 -- 211Holger Sturm. Interpolation and Preservation in ML::omega 1::
    212 -- 220Mohammad Ardeshir, Mojtaba Moniri. Intuitionistic Open Induction and Least Number Principle and the Buss Operator
    221 -- 230Wilfrid Hodges. The Laws of Distribution for Syllogisms
    231 -- 242Fabio Bellissima, Saverio Cittadini. Duality and Completeness for US-Logics
    243 -- 252Lloyd Humberstone. Note on Supervenience and Definability
    253 -- 273Maarten Marx, Carlos Areces. Failure of Interpolation in Combined Modal Logics
    274 -- 278John P. Burgess. On a Consistent Subsystem of Frege s Grundgesetze
    279 -- 285Aladdin M. Yaqub. Book Review: Marian David. Correspondence and Disquotation: An Essay on the Nature of Truth

    Volume 39, Issue 1

    1 -- 17John P. Burgess, Allen Hazen. Predicative Logic and Formal Arithmetic
    18 -- 46Wim Ruitenburg. Basic Predicate Calculus
    47 -- 73Alexander Bochman. Biconsequence Relations: A Four-Valued Formalism of Reasoning with Inconsistency and Incompleteness
    74 -- 93Xuegang Wang, Peter Mott. A Variant of Thomason s First-Order Logic CF Based on Situations
    94 -- 113H. Naruse, Bayu Surarso, H. Ono. A Syntactic Approach to Maksimova s Principle of Variable Separation for some Substructural Logics
    114 -- 127Arthur Sullivan. Singular Propositions and Singular Thoughts
    128 -- 134Timothy Williamson. Continuum Many Maximal Consistent Normal Bimodal Logics with Inverses
    135 -- 139Jean-Yves Béziau. Idempotent Full Paraconsistent Negations are not Algebraizable
    140 -- 148James H. Schmerl. Recursive Models and the Divisibility Poset
    149 -- 155Aladdin M. Yaqub. Book Review: Marian David. Correspondence and Disquotation: An Essay on the Nature of Truth
    runs on