Notre Dame Journal of Formal Logic, Volume 39
Volume 39, Number 1, Winter 1998
- Wim Ruitenburg: Basic Predicate Calculus. 18-46
- Alexander Bochman: Biconsequence Relations: A Four-Valued Formalism of Reasoning with Inconsistency and Incompleteness. 47-73
- 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
Volume 39, Number 2, Spring 1998
- Reed Solomon: Reverse Mathematics and Fully Ordered Groups. 157-189
- Holger Sturm: Interpolation and Preservation in MLomega 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
- Lloyd Humberstone: Note on Supervenience and Definability. 243-252
- 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
Volume 39, Number 3, Summer 1998
- Krister Segerberg: Irrevocable Belief Revision in Dynamic Doxastic Logic. 287-306
- Eugenio Chinchilla: A Model of inside a Subexponential Time Resource. 307-324
- 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
Volume 39, Number 4, Fall 1998
- Carlo Toffalori: Lattice Ordered O-Minimal Structures. 447-463
- Ming Xu: Uncompactness of Stit Logics Containing Generalized Refref Conditionals. 485-506
- 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
- 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
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-19T203413 by the dblp team