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

• 1965
• 
  Ignacio Angelelli:
  Leibniz's misunderstanding of Nisolius notion of 'multudino'. Notre Dame J. Formal Log. 6(4): 319-322 (1965)
• 
  Florencio G. Asenjo:
  The arithmetic of the term-relation number theory. Notre Dame J. Formal Log. 6(3): 223-228 (1965)
• 
  R. A. Bull:
  A modal extension of intuitionist logic. Notre Dame J. Formal Log. 6(2): 142-146 (1965)
• 
  John Thomas Canty:
  A note on the axiomatization of Rubin's system (S). Notre Dame J. Formal Log. 6(3): 190-192 (1965)
• 
  John Thomas Canty:
  Systems classically axiomatized and properly contained in Lewis's S3. Notre Dame J. Formal Log. 6(4): 309-318 (1965)
• 
  Robert E. Clay:
  The relation of weakly discrete to set and equinumerosity in mereology. Notre Dame J. Formal Log. 6(4): 325-340 (1965)
• 
  Shirley Dowdy:
  A quaternary relation as the primitive notion in several geometries. Notre Dame J. Formal Log. 6(4): 241-295 (1965)
• 
  George L. Farre:
  Remarks on the linguistics foundations of physics. Notre Dame J. Formal Log. 6(2): 110-122 (1965)
• 
  Milton Fisk:
  The logic of either-or. Notre Dame J. Formal Log. 6(1): 39-50 (1965)
• 
  William J. Frascella:
  A generalization of Sierpiński's theorem on Steiner triples and the axiom of choice. Notre Dame J. Formal Log. 6(3): 163-179 (1965)
• 
  William J. Frascella:
  Corrigendum and addendum to: "A generalization of Sierpiński's theorem on Steiner triples and the axiom of choice". Notre Dame J. Formal Log. 6(4): 323-324 (1965)
• 
  Leonard Goddard:
  An augmented modal logic. Notre Dame J. Formal Log. 6(2): 81-98 (1965)
• 
  Ann H. Ihrig:
  The Post-Lineal theorems for arbitrary recursively enumerable degrees of unsolvability. Notre Dame J. Formal Log. 6(1): 54-72 (1965)
• 
  Karel Lambert:
  On logic an existence. Notre Dame J. Formal Log. 6(2): 135-141 (1965)
• 
  R. D. Lee:
  The substitution schema in recursive arithmetic. Notre Dame J. Formal Log. 6(3): 193-200 (1965)
• 
  E. J. Lemmon:
  Some results on finite axiomatizability in modal logic. Notre Dame J. Formal Log. 6(4): 301-308 (1965)
• 
  Thomas G. McLaughlin:
  Strong reducibility on hypersimple sets. Notre Dame J. Formal Log. 6(3): 229-234 (1965)
• 
  C. A. Meredith, A. N. Prior:
  Modal logic with functorial variables and a contingent constant. Notre Dame J. Formal Log. 6(2): 99-109 (1965)
• 
  Albert A. Mullin:
  Mathematico-philosophical remarks on new theorems analogous to the fundamental theorem of arithmetic. Notre Dame J. Formal Log. 6(3): 218-222 (1965)
• 
  Thomas E. Patton:
  Church's theorem on the decision problem. Notre Dame J. Formal Log. 6(2): 147-153 (1965)
• 
  Juliusz Reichbach:
  On the connection of the first-order functional calculus with ℵ₀ propositional calculus. Notre Dame J. Formal Log. 6(1): 73-80 (1965)
• 
  Nicholas Rescher:
  An intuitive interpretation of systems of four-valued logic. Notre Dame J. Formal Log. 6(2): 154-156 (1965)
• 
  Thomas W. Scharle:
  Axiomatization of propositional calculus with Sheffer functors. Notre Dame J. Formal Log. 6(3): 209-217 (1965)
• 
  Rolf Schock:
  What is science? Notre Dame J. Formal Log. 6(1): 51-53 (1965)
• 
  Rolf Schock:
  On probability logics. Notre Dame J. Formal Log. 6(2): 129-134 (1965)
• 
  Rolf Schock:
  On induction. Notre Dame J. Formal Log. 6(3): 235-240 (1965)
• 
  Anjan Shukla:
  A set of axioms for the propositional calculus with implication and converse non-implication. Notre Dame J. Formal Log. 6(2): 123-128 (1965)
• 
  Waclaw Sierpinski:
  Sur un théorème équivalent à l'axiome du choix. Notre Dame J. Formal Log. 6(3): 161-162 (1965)
• 
  Joseph J. Sikora:
  Some thomistic reflections on the foundations of formal logic. Notre Dame J. Formal Log. 6(1): 1-38 (1965)
• 
  Boleslaw Sobocinski:
  A note on certain set-theoretical formulas. Notre Dame J. Formal Log. 6(2): 157-160 (1965)

skipping 4 more matches