Journal: Notre Dame Journal of Formal Logic

Volume 55, Issue 4

431 -- 444Arthur W. Apter. Inaccessible Cardinals, Failures of GCH, and Level-by-Level Equivalence
445 -- 467Ole Thomassen Hjortland. Speech Acts, Categoricity, and the Meanings of Logical Connectives
469 -- 498Tero Tulenheimo. Classical Negation and Game-Theoretical Semantics
499 -- 532Pieter A. M. Seuren. The Cognitive Ontogenesis of Predicate Logic
533 -- 551Ioannis Souldatos. Notes on Cardinals That Are Characterizable by a Complete (Scott) Sentence
553 -- 561William Craig. Peter van Inwagen, Substitutional Quantification, and Ontological Commitment
563 -- 568Grigor Sargsyan. 1
569 -- 582V. Yu. Shavrukov, Albert Visser. Uniform Density in Lindenbaum Algebras

Volume 55, Issue 3

299 -- 332Hoang-Vu Dang. A Single-Sorted Theory of Multisets
333 -- 348David Asperó, Ralf Schindler. Bounded Martin's Maximum with an Asterisk
349 -- 357Shimon Garti. Many Normal Measures
359 -- 381Andrzej Pietruszczak. A General Concept of Being a Part of a Whole
383 -- 395Franco Parlamento. Truth-Value Semantics and Functional Extensions for Classical Logic of Partial Terms Based on Equality
397 -- 411Edoardo Rivello. Beneš's Partial Model of NF: An Old Result Revisited
413 -- 417Pimpen Vejjajiva, Supakun Panasawatwong. A Note on Weakly Dedekind Finite Sets
419 -- 429Itay Kaplan, Pierre Simon. Witnessing Dp-Rank

Volume 55, Issue 2

157 -- 196Walter Dean. Montague's Paradox, Informal Provability, and Explicit Modal Logic
197 -- 204Tomasz Kowalski. BCK is not Structurally Complete
205 -- 230Mohammed Belkasmi. Positive Model Theory and Amalgamations
231 -- 244Mojtaba Aghaei, Amir Khamseh. Combinatorial Unprovability Proofs and Their Model-Theoretic Counterparts
245 -- 264Bernard A. Anderson, Barbara F. Csima. A Bounded Jump for the Bounded Turing Degrees
265 -- 298Itay Neeman. Forcing with Sequences of Models of Two Types

Volume 55, Issue 1

1 -- 10Adam R. Day, Jan Reimann. Independence, Relative Randomness, and PA Degrees
11 -- 24Zuhair Al-Johar, M. Randall Holmes, Nathan Bowler. The Axiom Scheme of Acyclic Comprehension
25 -- 39François G. Dorais. Classical Consequences of Continuous Choice Principles from Intuitionistic Analysis
41 -- 61Melvin Fitting. Nested Sequents for Intuitionistic Logics
63 -- 73David Diamondstone, Johanna N. Y. Franklin. Lowness for Difference Tests
75 -- 78Stephen G. Simpson. 1-Induction
79 -- 90Thomas Mormann. Set Theory, Topology, and the Possibility of Junky Worlds
91 -- 105Rodrigo A. Freire. On Existence in Set Theory, Part II: Relative Productivity
107 -- 127Gemma Robles, José M. Méndez. Generalizing the Depth Relevance Condition: Deep Relevant Logics Not Included in R-Mingle
129 -- 155Mauricio Osorio, José Luis Carballido, Claudia Zepeda. Revisiting ℤ