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

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

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

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