Notre Dame Journal of Formal Logic, Volume 30

Volume 30, Number 1, Winter 1989

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

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

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

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