Notre Dame Journal of Formal Logic, Volume 38

Volume 38, Number 1, Winter 1997

Sergio A. Celani, Ramon Jansana: A New Semantics for Positive Modal Logic. 1-18
John C. Simms: Another Characterization of Alephs: Decompositions of Hyperspace. 19-36
Domenico Zambella: Algebraic Methods and Bounded Formulas. 37-48
Wallace A. Murphree: The Numerical Syllogism and Existential Presupposition. 49-64
Chrysafis Hartonas: An Algebraic Theory of Structured Objects. 65-80
Paola D'Aquino: Towards the Limits of the Tennebaum Phenomenon. 81-92
Ambar Chowdhury, Bradd Hart: An Unclassifiable Unidimensional Theory without OTOP. 93-103
Gerald Vision: Why Correspondence Truth Will Not Go Away. 104-131

Bakhadyr Khoussainov, André Nies, Richard A. Shore: Computable Models of Theories with Few Models. 165-178
Newton C. A. da Costa, Décio Krause: An Intenstional Schrödinger Logic. 179-194
Victor Rodych: Wittgenstein on Mathematical Meaningfullness, Decidability, and Application. 195-224
Ian E. Pratt, Oliver Lemon: Ontologies for Plane, Polygonal Mereotopology. 225-245
Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Betti Venneri: The ``Relevance'' of Intersection and Union Types. 246-269
Karim Nour: A Conjecture on Numeral Systems. 270-275
Genoveva Martí: Rethinking Quine's Argument on the Collapse of Modal Distinctions. 276-294
Philip Kremer: Propositional Quantification in the Topological Semantics for S4. 295-313

John T. Kearns: Propositional Logic of Supposition and Assertion. 325-349
Osamu Takaki: Strong Normalization Theorem for a Constructive Arithmetic with Definition by Transfinite Recursion and Bar Induction. 350-373
Carsten Butz: Syntax and Semantics of the Logic L^{lambda_{omega omega}}. 374-384
Anthony F. Peressini: Cumulative versus Noncumulative Ramified Types. 385-397
S. V. Bhave: Situations in Which Disjunctive Syllogism Can Lead from True Premises to a False Conclusion. 398-405
Rich Blaylock, Rodney G. Downey, Steffen Lempp: Infima in the Recursively Enumerable Weak Truth Table Degrees. 406-418
Mark Reynolds: A Decidable Temporal Logic of Parallelism. 419-436
Richard G. Heck Jr.: Grundgesetz der Arithmetik I §§29-32. 437-474

Impossible Worlds