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

• 1976
• 
  David Meredith:
  A calculus of matrical descriptors. Notre Dame J. Formal Log. 17(4): 517-525 (1976)
• 
  Marilyn McCord Adams:
  What does Ockham mean by 'supposition'? Notre Dame J. Formal Log. 17(3): 375-391 (1976)
• 
  Robert L. Armstrong:
  A question about incompleteness. Notre Dame J. Formal Log. 17(2): 295-296 (1976)
• 
  John A. Barker:
  Presupposition and entailment. Notre Dame J. Formal Log. 17(2): 272-278 (1976)
• 
  J. B. Beard:
  The modalities of KT4_nMG. Notre Dame J. Formal Log. 17(3): 462-464 (1976)
• 
  Ladislav Beran:
  Three identities for ortholattices. Notre Dame J. Formal Log. 17(2): 251-252 (1976)
• 
  Léon Birnbaum:
  Algèbre et logique tripolaire. Notre Dame J. Formal Log. 17(4): 551-564 (1976)
• 
  Stephen L. Bloom, Roman Suszko:
  Errata: "Investigations into the sentential calculus with identity". Notre Dame J. Formal Log. 17(4): 640 (1976)
• 
  Alex Blum:
  A logic of belief. Notre Dame J. Formal Log. 17(3): 344-348 (1976)
• 
  Kenneth A. Bowen:
  An Herbrand theorem for prenex formulas of LJ. Notre Dame J. Formal Log. 17(2): 263-266 (1976)
• 
  Ross T. Brady:
  Significance logics. Notre Dame J. Formal Log. 17(2): 161-183 (1976)
• 
  Jonathan Broido:
  On the eliminability of de re modalities in some systems. Notre Dame J. Formal Log. 17(1): 79-88 (1976)
• 
  Bertram C. Bruce:
  A logic for unknown outcomes. Notre Dame J. Formal Log. 17(4): 542-550 (1976)
• 
  Martin W. Bunder:
  Some notes on: "A deduction theorem for restricted generality". Notre Dame J. Formal Log. 17(1): 153-154 (1976)
• 
  Robert Warren Button:
  Monads for regular and normal spaces. Notre Dame J. Formal Log. 17(3): 449-456 (1976)
• 
  Héctor-Neri Castañeda:
  Leibniz's syllogistico-propositional calculus. Notre Dame J. Formal Log. 17(4): 481-500 (1976)
• 
  John R. Chidgey:
  Errata: "A note on transitivity". Notre Dame J. Formal Log. 17(4): 640 (1976)
• 
  Robert Cogan:
  A criticism of Sommers' language tree. Notre Dame J. Formal Log. 17(2): 308-310 (1976)
• 
  William H. Cornish:
  On Nachbin's characterization of a Boolean lattice. Notre Dame J. Formal Log. 17(1): 155-157 (1976)
• 
  Stephen Croddy:
  Russell on the meaning of descriptions. Notre Dame J. Formal Log. 17(3): 424-428 (1976)
• 
  Charles C. Davis:
  A note on the axiom of choice in Leśniewski's ontology. Notre Dame J. Formal Log. 17(1): 35-43 (1976)
• 
  Charles C. Davis, Vaughn R. McKim:
  Temporal modalities and the future. Notre Dame J. Formal Log. 17(2): 233-238 (1976)
• 
  George Englebretsen:
  The square of opposition. Notre Dame J. Formal Log. 17(4): 531-541 (1976)
• 
  William Frank:
  A note on the adequacy of translations. Notre Dame J. Formal Log. 17(2): 249-250 (1976)
• 
  Günther Frei-Imfeld:
  Über Kongruenzen höherer Operationen. Notre Dame J. Formal Log. 17(1): 127-130 (1976)
• 
  Laurence S. Gagnon:
  NOR logic: a system of natural deduction. Notre Dame J. Formal Log. 17(2): 293-294 (1976)
• 
  G. N. Georgacarakos:
  Semantics for S4.04, S4.4, and S4.3.2. Notre Dame J. Formal Log. 17(2): 297-302 (1976)
• 
  Giorgio Germano:
  An arithmetical reconstruction of the liar's antinomy using addition and multiplication. Notre Dame J. Formal Log. 17(3): 457-461 (1976)
• 
  Michael A. Gilbert:
  A heuristic procedure for natural deduction derivations using reductio ad absurdum. Notre Dame J. Formal Log. 17(4): 638-639 (1976)
• 
  Harry Gonshor:
  Effective density types. Notre Dame J. Formal Log. 17(2): 303-307 (1976)

skipping 56 more matches