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 BibTeX
John C. Simms: Another Characterization of Alephs: Decompositions of Hyperspace. 19-36 BibTeX
Domenico Zambella: Algebraic Methods and Bounded Formulas. 37-48 BibTeX
Wallace A. Murphree: The Numerical Syllogism and Existential Presupposition. 49-64 BibTeX
Chrysafis Hartonas: An Algebraic Theory of Structured Objects. 65-80 BibTeX
Paola D'Aquino: Towards the Limits of the Tennebaum Phenomenon. 81-92 BibTeX
Ambar Chowdhury, Bradd Hart: An Unclassifiable Unidimensional Theory without OTOP. 93-103 BibTeX
Gerald Vision: Why Correspondence Truth Will Not Go Away. 104-131 BibTeX

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

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

Impossible Worlds

Graham Priest: Impossible Worlds - Editor's Introduction. 481-487 BibTeX
Jon Barwise: Information and Impossibilities. 488-515 BibTeX
Edwin D. Mares: Who's Afraid of Impossible Worlds? 516-526 BibTeX
Chris Mortensen: Peeking at the Impossible. 527-534 BibTeX
Daniel Nolan: Impossible Worlds: A Modest Approach. 535-572 BibTeX
Graham Priest: Sylvan's Box: a Short Story and Ten Morals. 573-582 BibTeX
Greg Restall: Ways Things Can't Be. 583-596 BibTeX
David A. Vander Laan: The Ontology of Impossible Worlds. 597-620 BibTeX
Achille C. Varzi: Inconsistency without Contradiction. 621-639 BibTeX
Edward N. Zalta: A Classically-Based Theory of Impossible Worlds. 640-660 BibTeX