Notre Dame Journal of Formal Logic, Volume 32

Volume 32, Number 1, Winter 1991

Peter Roeper, Hugues Leblanc: Indiscernability and Identiy in Probability Theory. 1-46 BibTeX
Aldo Bressan: New Semantics for the Extensional but Hyper-intensional Part L_alpha of the Modal Sense Language SL_alpha^nu. 47-86 BibTeX
Richard Blecksmith, Gilbert Null: Matrix Representation of Husserl's Part-Whole-Foundation Theory. 87-111 BibTeX
Carlo Toffalori: Stability for Pairs of Equivalence Relations. 112-128 BibTeX
Charles J. Kelly: The Logic of the Liar from the Standpoint of the Aristotelian Syllogistic. 129-146 BibTeX
Arnon Avron: Relevance and Paraconsistency - A New Approach, Part III: Cut-Free Gentzen-Type Systems. 147-160 BibTeX

Tapani Hyttinen: Preservation by Homomorphisms and Infinitary Languages. 167-172 BibTeX
Ludomir Newelski: On Type Definable Subgroups of a Stable Group. 173-187 BibTeX
Dugald Macpherson: Finite Axiomatizability and Theories with Trivial Algebraic Closure. 188-192 BibTeX
Graham Priest: Intensional Paradoxes. 193-211 BibTeX
Hugues Leblanc, Peter Roeper, Michael Thau, George Weaver: Henkin's Completeness Proof: Forty Years Later. 212-232 BibTeX
Karol Habart: Bounds in Weak Truth-Table Reducibility. 233-242 BibTeX
Loredana Biacino, Giangiacomo Gerla: Connection Structures. 242-247 BibTeX
Bruce E. R. Thompson: Why is Conjunctive Simplication Invalid? 248-254 BibTeX
Julius B. Barbanel: Almost Hugeness and a Related Notion. 255-265 BibTeX
Andrea Sorbi: Embedding Brouwer Algebras in the Medvedev Lattice. 266-275 BibTeX
Anthony Willing: Buridan's Divided Modal Syllogistic. 276-289 BibTeX
Alexander Abian, Wael A. Amin: The Cardinality of Powersets in Finite Models of the Powerset Axiom. 290-293 BibTeX
Robert D. Carnes, Philip L. Peterson: Intermediate Quantifiers Versus Percentages. 294-306 BibTeX
Karl Schlechta: Theory Revision and Probability. 307-319 BibTeX

David Charles McCarty: Incompleteness in Intuitionistic Metamathematics. 323-358 BibTeX
Gonzalo E. Reyes: A Topos-Theoretic Approach to Reference and Modality. 359-391 BibTeX
Roman Kossak, James H. Schmerl: Minimal Satisfaction Classes with an Application to Rigid Models of {Peano} Arithmetic. 392-398 BibTeX
Richard Kaye: On Cofinal Extensions of Models of Fragments of Arithmetic. 399-408 BibTeX
William C. Purdy: A Logic for Natural Language. 409-425 BibTeX
David Marker: End Extensions of Normal Models of Open Induction. 426-431 BibTeX
Francesco Orilia: Type-Free Property Theory, Exemplification and Russell's Paradox. 432-447 BibTeX
Renling Jin: Some Independence Results Related to the Kurepa Tree. 448-457 BibTeX
Jody Azzouni: A Simple Axiomatizable Theory of Truth. 458-493 BibTeX

Rodney G. Downey: On Pi₁⁰ Classes and their Ranked Points. 499-512 BibTeX
David Charles McCarty: Polymorphism and Apartness. 513-532 BibTeX
Wim Ruitenburg: Inequality in Constructive Mathematics. 533-553 BibTeX
Albert Visser: On the Sigma₁⁰-Conservativity of Sigma₁⁰-Completeness. 554-561 BibTeX
Alessandra Carbone: Provable Fixed Points in I Delta₀ + Omega₁. 562-572 BibTeX
Henryk Kotlarski: Full Satisfaction Classes: A Survey. 573-579 BibTeX
Kosta Dosen: Ancestral Kripke Models and Nonhereditary Kripke Models for the Heyting Propositional Calculus. 580-597 BibTeX
Juan Barba Escriba: A Multidimensional Modal Translation for a Formal System Motivated by Situation Semantics. 598-608 BibTeX
Renato A. Lewin, Irene F. Mikenberg, María G. Schwarze: C₁ Is Not Algebraizable. 609-611 BibTeX
Christopher C. Leary: Pleasant Ideals. 612-617 BibTeX
Claudio Pizzi: Decision Procedures for Logics of Consequential Implication. 618-636 BibTeX
Carlo Toffalori: Classifying Pairs of Equivalence Relations. 637-650 BibTeX