• 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 49 matches

• 1983
• 
  David Meredith:
  Separating minimal, intuitionist, and classical logic. Notre Dame J. Formal Log. 24(4): 485-490 (1983)
• 
  David F. Austin:
  Plantinga's theory of proper names. Notre Dame J. Formal Log. 24(1): 115-132 (1983)
• 
  Ross T. Brady:
  The simple consistency of a set theory based on the logic CSQ. Notre Dame J. Formal Log. 24(4): 431-449 (1983)
• 
  Norbert Brunner:
  Sequential compactness and the axiom of choice. Notre Dame J. Formal Log. 24(1): 89-92 (1983)
• 
  Norbert Brunner:
  The axiom of choice in topology. Notre Dame J. Formal Log. 24(3): 305-317 (1983)
• 
  John P. Burgess:
  Common sense and "relevance". Notre Dame J. Formal Log. 24(1): 41-53 (1983)
• 
  John P. Burgess:
  Why I am not a nominalist. Notre Dame J. Formal Log. 24(1): 93-105 (1983)
• 
  Stephen D. Comer:
  A new foundation for the theory of relations. Notre Dame J. Formal Log. 24(2): 181-187 (1983)
• 
  B. Jack Copeland:
  Tense trees: a tree system for K_t. Notre Dame J. Formal Log. 24(3): 318-322 (1983)
• 
  Robert Cowen:
  Compactness via prime semilattices. Notre Dame J. Formal Log. 24(2): 199-204 (1983)
• 
  John Cowles, Robert LaGrange:
  Generalized Archimedean fields. Notre Dame J. Formal Log. 24(1): 133-140 (1983)
• 
  M. J. Cresswell:
  KM and the finite model property. Notre Dame J. Formal Log. 24(3): 323-327 (1983)
• 
  John W. Dawson:
  The published work of Kurt Gödel: an annotated bibliography. Notre Dame J. Formal Log. 24(2): 255-284 (1983)
• 
  Robert Dwyer, Errol P. Martin, Robert K. Meyer:
  The fundamental S-theorem - a corollary. Notre Dame J. Formal Log. 24(4): 509-516 (1983)
• 
  Zdzislaw Dywan:
  The connective of necessity of modal logic S5 is metalogical. Notre Dame J. Formal Log. 24(3): 410-414 (1983)
• 
  Leonard Goddard, Mark Johnston:
  The nature of reflexive paradoxes. I. Notre Dame J. Formal Log. 24(4): 491-508 (1983)
• 
  Leon Harkleroad:
  Manifolds allowing RET arithmetic. Notre Dame J. Formal Log. 24(4): 482-484 (1983)
• 
  Herbert E. Hendry:
  Minimally incomplete sets of Łukasiewiczian truth functions. Notre Dame J. Formal Log. 24(1): 146-150 (1983)
• 
  Larry Henschen, Barry Smith, Robert Veroff, Steve Winker, Larry Wos:
  Questions concerning possible shortest single axioms for the equivalential calculus: an application of automated theorem proving to infinite domains. Notre Dame J. Formal Log. 24(2): 205-223 (1983)
• 
  John L. Hickman:
  A note on Conway multiplication of ordinals. Notre Dame J. Formal Log. 24(1): 143-145 (1983)
• 
  I. L. Humberstone:
  Inaccessible worlds. Notre Dame J. Formal Log. 24(3): 346-352 (1983)
• 
  I. L. Humberstone, J. F. A. K. van Benthem:
  Halldén-completeness by gluing of Kripke frames. Notre Dame J. Formal Log. 24(4): 426-430 (1983)
• 
  Sabine Koppelberg, J. Donald Monk:
  Homogeneous Boolean algebras with very nonsymmetric subalgebras. Notre Dame J. Formal Log. 24(3): 353-356 (1983)
• 
  Steven T. Kuhn:
  An axiomatization of predicate functor logic. Notre Dame J. Formal Log. 24(2): 233-241 (1983)
• 
  René Lavendhomme, Thierry Lucas:
  A note on intuitionistic models of ZF. Notre Dame J. Formal Log. 24(1): 54-66 (1983)
• 
  Hugues Leblanc, Charles G. Morgan:
  Probabilistic semantics for intuitionistic logic. Notre Dame J. Formal Log. 24(2): 161-180 (1983)
• 
  Hugues Leblanc, Charles G. Morgan:
  Probability theory, intuitionism, semantics, and the Dutch book argument. Notre Dame J. Formal Log. 24(3): 289-304 (1983)
• 
  Isabel Loureiro:
  Prime spectrum of a tetravalent modal algebra. Notre Dame J. Formal Log. 24(3): 389-394 (1983)
• 
  E. J. Lowe:
  A simplification of the logic of conditionals. Notre Dame J. Formal Log. 24(3): 357-366 (1983)
• 
  Zoran Markovic:
  Some preservation results for classical and intuitionistic satisfiability in Kripke models. Notre Dame J. Formal Log. 24(3): 395-398 (1983)

skipping 19 more matches