• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 42 matches

• 1989
• 
  Fabio Bellissima:
  Infinite Sets of Nonequivalent Modalities. Notre Dame J. Formal Log. 30(4): 574-582 (1989)
• 
  Johan van Benthem:
  Notes on Modal Definability. Notre Dame J. Formal Log. 30(1): 20-35 (1989)
• 
  Johan van Benthem:
  Logical Constants Across Varying Types. Notre Dame J. Formal Log. 30(3): 315-342 (1989)
• 
  Balázs Biró:
  Isomorphic but Not Lower Base-Isomorphic Cylindric Algebras of Finite Dimension. Notre Dame J. Formal Log. 30(2): 262-267 (1989)
• 
  Andreas Blass, Saharon Shelah:
  Near Coherence of Filters III: A Simplified Consistency Proof. Notre Dame J. Formal Log. 30(4): 530-538 (1989)
• 
  Wayne D. Blizard:
  Multiset Theory. Notre Dame J. Formal Log. 30(1): 36-66 (1989)
• 
  Norbert Brunner:
  Set-Mappings on Dedekind Sets. Notre Dame J. Formal Log. 30(2): 268-270 (1989)
• 
  R. A. Bull:
  Correction to "Survey of generalizations of Urquhart semantics". Notre Dame J. Formal Log. 30(1): 151-153 (1989)
• 
  Michael Byrd:
  Russell, Logicism, and the Choice of Logical Constants. Notre Dame J. Formal Log. 30(3): 343-361 (1989)
• 
  R. Michael Canjar:
  Cofinalities of Countable Ultraproducts: The Existence Theorem. Notre Dame J. Formal Log. 30(4): 539-542 (1989)
• 
  Patrick Cégielski:
  The Elementary Theory of the Natural Lattice Is Finitely Axiomatizable. Notre Dame J. Formal Log. 30(1): 138-150 (1989)
• 
  Michael Detlefsen:
  Introduction. Notre Dame J. Formal Log. 30(3): 313 (1989)
• 
  Kees Doets:
  Monadic Π₁¹-Theories of Π₁¹-Properties. Notre Dame J. Formal Log. 30(2): 224-240 (1989)
• 
  Kosta Dosen:
  Logical Constants as Punctuation Marks. Notre Dame J. Formal Log. 30(3): 362-381 (1989)
• 
  Józef Dudek, Andrzej Kisielewicz:
  On Finite Models of Regular Identities. Notre Dame J. Formal Log. 30(4): 624-628 (1989)
• 
  Michael Dummett:
  More about Thoughts. Notre Dame J. Formal Log. 30(1): 1-19 (1989)
• 
  George Englebretsen:
  Formatives. Notre Dame J. Formal Log. 30(3): 382-389 (1989)
• 
  James W. Garson:
  Modularity and Relevant Logic. Notre Dame J. Formal Log. 30(2): 207-223 (1989)
• 
  Awad A. Iskander:
  An Isomorphism Between Rings and Groups. Notre Dame J. Formal Log. 30(4): 513-529 (1989)
• 
  Frederick A. Johnson:
  Models for Modal Syllogisms. Notre Dame J. Formal Log. 30(2): 271-284 (1989)
• 
  John T. Kearns:
  Lesniewski's Strategy and Modal Logic. Notre Dame J. Formal Log. 30(2): 291-307 (1989)
• 
  Hugues Leblanc, Peter Roeper:
  On Relativizing Kolmogorov's Absolute Probability Functions. Notre Dame J. Formal Log. 30(4): 485-512 (1989)
• 
  William G. Lycan:
  Logical Constants and the Glory of Truth-Conditional Semantics. Notre Dame J. Formal Log. 30(3): 390-400 (1989)
• 
  Timothy G. McCarthy:
  Logical Form and Radical Interpretation. Notre Dame J. Formal Log. 30(3): 401-419 (1989)
• 
  Richard L. Mendelsohn:
  Objects and Existence: Reflections on Free Logic. Notre Dame J. Formal Log. 30(4): 604-623 (1989)
• 
  Christopher Menzel:
  On an Unsound Proof of the Existence of Possible Worlds. Notre Dame J. Formal Log. 30(4): 598-603 (1989)
• 
  Pierangelo Miglioli, Ugo Moscato, Mario Ornaghi, Silvia Quazza, Gabriele Usberti:
  Some Results on Intermediate Constructive Logics. Notre Dame J. Formal Log. 30(4): 543-562 (1989)
• 
  Pierangelo Miglioli, Ugo Moscato, Mario Ornaghi, Gabriele Usberti:
  A Constructivism Based on Classical Truth. Notre Dame J. Formal Log. 30(1): 67-90 (1989)
• 
  Grigori Mints:
  The Completeness of Provable Realizability. Notre Dame J. Formal Log. 30(3): 420-441 (1989)
• 
  Franco Montagna:
  "Pathologies" in Two Syntactic Categories of Partial Maps. Notre Dame J. Formal Log. 30(1): 105-116 (1989)

skipping 12 more matches