Notre Dame Journal of Formal Logic, Volume 39

Volume 39, Number 1, Winter 1998

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

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

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

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