Notre Dame Journal of Formal Logic, Volume 30

Volume 30, Number 1, Winter 1989

Michael Dummett: More about Thoughts. 1-19
Johan van Benthem: Notes on Modal Definability. 20-35
Wayne D. Blizard: Multiset Theory. 36-66
Pierangelo Miglioli, Ugo Moscato, Mario Ornaghi, Gabriele Usberti: A Constructivism Based on Classical Truth. 67-90
Alberto Peruzzi: The Theory of Descriptions Revisited. 91-104
Franco Montagna: ``Pathologies'' in Two Syntactic Categories of Partial Maps. 105-116
John K. Slaney: On the Structure of De Morgan Monoids with Corollaries on Relevant Logic and Theories. 117-129
Osamu Morikawa: Some Modal Logics Based on a Three-Valued Logic. 130-137
Patrick Cégielski: The Elementary Theory of the Natural Lattice Is Finitely Axiomatizable. 138-150
R. A. Bull: Correction to ``Survey of generalizations of Urquhart semantics''. 151-153
James C. Owings: Corrigendum to ``Diagonalization and the Recursion Theorem''. 153

Albert Visser: Peano's Smart Children: A Provability Logical Study of Systems with Built-in Consistency. 161-196
Charles Steinhorn, Carlo Toffalori: The Boolean Spectrum of an o-Minimal Theory. 197-206
James Garson: Modularity and Relevant Logic. 207-223
Kees Doets: Monadic Pi₁¹-Theories of Pi₁¹-Properties. 224-240
Peter Simons: Combinators and Categorial Grammar. 241-261
Balázs Biró: Isomorphic but Not Lower Base-Isomorphic Cylindric Algebras of Finite Dimension. 262-267
Norbert Brunner: Set-Mappings on Dedekind Sets. 268-270
Fred Johnson: Models for Modal Syllogisms. 271-284
George F. Schumm: Some Compactness Results for Modal Logic. 285-290
John T. Kearns: Lesniewski's Strategy and Modal Logic. 291-307

Michael Detlefsen: Introduction. 313
Johan van Benthem: Logical Constants Across Varying Types. 315-342
Michael Byrd: Russell, Logicism, and the Choice of Logical Constants. 343-361
Kosta Dosen: Logical Constants as Punctuation Marks. 362-381
George Englebretsen: Formatives. 382-389
William G. Lycan: Logical Constants and the Glory of Truth-Conditional Semantics. 390-400
Tim McCarthy: Logical Form and Radical Interpretation. 401-419
Grigori Mints: The Completeness of Provable Realizability. 420-441
Jan M. Smith: Propositional Functions and Families of Types. 442-458
Neil Tennant: Truth Table Logic, with a Survey of Embeddability Results. 459-484

Hugues Leblanc, Peter Roeper: On Relativizing Kolmogorov's Absolute Probability Functions. 485-512
Awad A. Iskander: An Isomorphism Between Rings and Groups. 513-529
Andreas Blass, Saharon Shelah: Near Coherence of Filters III: A Simplified Consistency Proof. 530-538
R. Michael Canjar: Cofinalities of Countable Ultraproducts: The Existence Theorem. 539-542
Pierangelo Miglioli, Ugo Moscato, Mario Ornaghi, Silvia Quazza, Gabriele Usberti: Some Results on Intermediate Constructive Logics. 543-562
Ildikó Sain: An Elementary Proof for Some Semantic Characterizations of Nondeterministic Floyd-Hoare Logic. 563-573
Fabio Bellissima: Infinite Sets of Nonequivalent Modalities. 574-582
Igor Urbas: Paraconsistency and the C-Systems of da Costa. 583-597
Christopher Menzel: On an Unsound Proof of the Existence of Possible Worlds. 598-603
Richard L. Mendelsohn: Objects and Existence: Reflections on Free Logic. 604-623
Józef Dudek, Andrzej Kisielewicz: On Finite Models of Regular Identities. 624-628