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

• 1977
• 
  David Meredith:
  In memoriam: Carew Arthur Meredith (1904-1976). Notre Dame J. Formal Log. 18(4): 513-516 (1977)
• 
  E. H. Alves, Newton C. A. da Costa:
  A semantical analysis of the calculi C_n. Notre Dame J. Formal Log. 18(4): 621-630 (1977)
• 
  Lee C. Archie, B. G. Hurdle, William Stewart Thomblison:
  A note on the truth-table for "if p then q". Notre Dame J. Formal Log. 18(4): 596-598 (1977)
• 
  Earline Jennifer Ashworth:
  An early fifteenth century discussion of infinite sets. Notre Dame J. Formal Log. 18(2): 232-234 (1977)
• 
  A. J. Baker:
  Classical logical relations. Notre Dame J. Formal Log. 18(1): 164-168 (1977)
• 
  Bernhard Banaschewski:
  On G. Spencer Brown's laws of form. Notre Dame J. Formal Log. 18(3): 507-509 (1977)
• 
  J. M. Bell, Lloyd Humberstone:
  Two systems of presupposition logic. Notre Dame J. Formal Log. 18(3): 321-339 (1977)
• 
  David W. Bennett:
  A note on the completeness proof for natural deduction. Notre Dame J. Formal Log. 18(1): 145-146 (1977)
• 
  Otto Bird:
  In memoriam: Ivo Thomas (1912-1976). Notre Dame J. Formal Log. 18(2): 193-194 (1977)
• 
  Steven E. Boër:
  Logical truth and indeterminacy. Notre Dame J. Formal Log. 18(1): 85-94 (1977)
• 
  Ivan Boh:
  The "conditionatim"-clause: one of the problems of existential import in the history of logic. Notre Dame J. Formal Log. 18(3): 459-466 (1977)
• 
  Richard Butrick:
  The numeral axioms. Notre Dame J. Formal Log. 18(3): 475-476 (1977)
• 
  Richard Butrick:
  A deduction rule for VBTO( )^n_i=1. Notre Dame J. Formal Log. 18(3): 510-512 (1977)
• 
  Robert Warren Button:
  When do *continuous extensions exist? Notre Dame J. Formal Log. 18(3): 406-408 (1977)
• 
  Paul J. Campbell:
  An answer to Armstrong's question about incompleteness in Copi: "A question about incompleteness". Notre Dame J. Formal Log. 18(2): 262-264 (1977)
• 
  Seth Catlin:
  Pathologies in the ed-regressive sets of order 2. Notre Dame J. Formal Log. 18(4): 535-544 (1977)
• 
  Metodej K. Chytil:
  Sémantique des formules logiques en forme d'équivalence n-aire (demi-modèles). Notre Dame J. Formal Log. 18(3): 421-435 (1977)
• 
  Barry Coburn, David Miller:
  Two comments on Lemmon's Beginning logic. Notre Dame J. Formal Log. 18(4): 607-610 (1977)
• 
  Fred Coppotelli:
  On two first order type theories for the theory of sets. Notre Dame J. Formal Log. 18(1): 147-150 (1977)
• 
  Robert H. Cowen:
  Generalizing König's infinity lemma. Notre Dame J. Formal Log. 18(2): 243-247 (1977)
• 
  Robert H. Cowen:
  Binary consistent choice on triples. Notre Dame J. Formal Log. 18(2): 310-312 (1977)
• 
  Johannes Czermak:
  A remark on Gentzen's calculus of sequents. Notre Dame J. Formal Log. 18(3): 471-474 (1977)
• 
  B. Davidson, Frank Cameron Jackson, Robert Pargetter:
  Modal trees for T and S5. Notre Dame J. Formal Log. 18(4): 602-606 (1977)
• 
  Douglas Dunsmore Daye:
  Metalogical incompatibilities in the formal description of Buddhist logic (Nyāya). Notre Dame J. Formal Log. 18(2): 221-231 (1977)
• 
  Richard A. DeMillo:
  Some applications of model theory to the metatheory of program schemata. Notre Dame J. Formal Log. 18(3): 489-495 (1977)
• 
  James W. van Evra:
  A reassessment of George Boole's theory of logic. Notre Dame J. Formal Log. 18(3): 363-377 (1977)
• 
  Peter A. Facione:
  The entailment operator. Notre Dame J. Formal Log. 18(3): 415-420 (1977)
• 
  Melvin Fitting:
  A tableau system for propositional S5. Notre Dame J. Formal Log. 18(2): 292-294 (1977)
• 
  G. N. Georgacarakos:
  Abnormal worlds and the non-Lewis modal systems. Notre Dame J. Formal Log. 18(1): 95-100 (1977)
• 
  G. N. Georgacarakos:
  Additional extensions of S4. Notre Dame J. Formal Log. 18(3): 477-488 (1977)

skipping 51 more matches