Notre Dame Journal of Formal Logic, Volume 32
Volume 32, Number 1, Winter 1991
- Aldo Bressan: New Semantics for the Extensional but Hyper-intensional Part Lalpha of the Modal Sense Language SLalphanu. 47-86
- Richard Blecksmith, Gilbert Null: Matrix Representation of Husserl's Part-Whole-Foundation Theory. 87-111
- Carlo Toffalori: Stability for Pairs of Equivalence Relations. 112-128
- Charles J. Kelly: The Logic of the Liar from the Standpoint of the Aristotelian Syllogistic. 129-146
- Arnon Avron: Relevance and Paraconsistency - A New Approach, Part III: Cut-Free Gentzen-Type Systems. 147-160
Volume 32, Number 2, Spring 1991
- Tapani Hyttinen: Preservation by Homomorphisms and Infinitary Languages. 167-172
- Ludomir Newelski: On Type Definable Subgroups of a Stable Group. 173-187
- Dugald Macpherson: Finite Axiomatizability and Theories with Trivial Algebraic Closure. 188-192
- Graham Priest: Intensional Paradoxes. 193-211
- Hugues Leblanc, Peter Roeper, Michael Thau, George Weaver: Henkin's Completeness Proof: Forty Years Later. 212-232
- Karol Habart: Bounds in Weak Truth-Table Reducibility. 233-242
- Bruce E. R. Thompson: Why is Conjunctive Simplication Invalid? 248-254
- Julius B. Barbanel: Almost Hugeness and a Related Notion. 255-265
- Andrea Sorbi: Embedding Brouwer Algebras in the Medvedev Lattice. 266-275
- Anthony Willing: Buridan's Divided Modal Syllogistic. 276-289
- Alexander Abian, Wael A. Amin: The Cardinality of Powersets in Finite Models of the Powerset Axiom. 290-293
- Karl Schlechta: Theory Revision and Probability. 307-319
Volume 32, Number 3, Summer 1991
- David Charles McCarty: Incompleteness in Intuitionistic Metamathematics. 323-358
- Gonzalo E. Reyes: A Topos-Theoretic Approach to Reference and Modality. 359-391
- Roman Kossak, James H. Schmerl: Minimal Satisfaction Classes with an Application to Rigid Models of {Peano} Arithmetic. 392-398
- Richard Kaye: On Cofinal Extensions of Models of Fragments of Arithmetic. 399-408
- William C. Purdy: A Logic for Natural Language. 409-425
- David Marker: End Extensions of Normal Models of Open Induction. 426-431
- Francesco Orilia: Type-Free Property Theory, Exemplification and Russell's Paradox. 432-447
- Renling Jin: Some Independence Results Related to the Kurepa Tree. 448-457
- Jody Azzouni: A Simple Axiomatizable Theory of Truth. 458-493
Volume 32, Number 4, Fall 1991
- Rodney G. Downey: On Pi10 Classes and their Ranked Points. 499-512
- David Charles McCarty: Polymorphism and Apartness. 513-532
- Wim Ruitenburg: Inequality in Constructive Mathematics. 533-553
- Albert Visser: On the Sigma10-Conservativity of Sigma10-Completeness. 554-561
- Alessandra Carbone: Provable Fixed Points in I Delta0 + Omega1. 562-572
- Henryk Kotlarski: Full Satisfaction Classes: A Survey. 573-579
- Kosta Dosen: Ancestral Kripke Models and Nonhereditary Kripke Models for the Heyting Propositional Calculus. 580-597
- Juan Barba Escriba: A Multidimensional Modal Translation for a Formal System Motivated by Situation Semantics. 598-608
- Christopher C. Leary: Pleasant Ideals. 612-617
- Claudio Pizzi: Decision Procedures for Logics of Consequential Implication. 618-636
- Carlo Toffalori: Classifying Pairs of Equivalence Relations. 637-650
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-18T214307 by the dblp team