- Bruce M. Horowitz:
Constructively nonpartial recursive functions. Notre Dame J. Formal Log. 21(2): 273-276 (1980) - George Edward Hughes:
Equivalence relations and S5. Notre Dame J. Formal Log. 21(3): 577-584 (1980) - Charles E. Hughes, David W. Straight:
Word problems for bidirectional, single-premise Post systems. Notre Dame J. Formal Log. 21(3): 501-508 (1980) - Philip Hugly:
Reflections on an extensionality theorem. Notre Dame J. Formal Log. 21(1): 45-50 (1980) - Craig Kalicki:
Infinitary propositional intuitionistic logic. Notre Dame J. Formal Log. 21(2): 216-228 (1980) - Michael Katz:
Inexact geometry. Notre Dame J. Formal Log. 21(3): 521-535 (1980) - Stanley J. Krolikoski:
On substitution for variable one-place functors. Notre Dame J. Formal Log. 21(2): 243-250 (1980) - Peter E. Lauer:
Towards an axiomatization of value theory. Notre Dame J. Formal Log. 21(1): 51-77 (1980) - Czeslaw Lejewski:
Postscript: "A note concerning the notion of mereological class". Notre Dame J. Formal Log. 21(4): 679-682 (1980) - Terry A. McKee:
Generalized equivalence and the foundations of quasigroups. Notre Dame J. Formal Log. 21(1): 135-140 (1980) - Terry A. McKee:
Generalized equivalence and the phraseology of configuration theorems. Notre Dame J. Formal Log. 21(1): 141-147 (1980) - Robert K. Meyer:
Career induction for quantifiers. Notre Dame J. Formal Log. 21(3): 539-548 (1980) - D. Michael Miller, Jon C. Muzio:
A class of two-place three-valued unary generators. Notre Dame J. Formal Log. 21(1): 148-154 (1980) - Chris Mortensen:
Every quotient algebra for C1 is trivial. Notre Dame J. Formal Log. 21(4): 694-700 (1980) - Robert W. Murungi:
Lewis' postulate of existence disarmed. Notre Dame J. Formal Log. 21(1): 189-191 (1980) - Russell W. Myers:
Complexity of model-theoretic notions. Notre Dame J. Formal Log. 21(4): 656-658 (1980) - Aris Noah:
Predicate-functors and the limits of decidability in logic. Notre Dame J. Formal Log. 21(4): 701-707 (1980) - Joseph A. Novak:
Some recent work on the assertoric syllogistic. Notre Dame J. Formal Log. 21(2): 229-242 (1980) - Eugenio Giovanni Omodeo:
Three existence principles in a modal calculus without descriptions contained in A. Bressan's MCν. Notre Dame J. Formal Log. 21(4): 711-727 (1980) - John A. Paulos:
A model-theoretic explication of the theses of Kuhn and Whorf. Notre Dame J. Formal Log. 21(1): 155-165 (1980) - Thomas H. Payne:
General computability. Notre Dame J. Formal Log. 21(2): 277-292 (1980) - K. E. Pledger:
Location of some modal systems. Notre Dame J. Formal Log. 21(4): 683-684 (1980) - Jean Porte:
Simplifying the axioms of the predicate calculus. Notre Dame J. Formal Log. 21(2): 346-350 (1980) - Jean Porte:
Congruences in Lemmon's S0.5. Notre Dame J. Formal Log. 21(4): 672-678 (1980) - Wlodzimierz Rabinowicz:
Some remarks about the family K of modal systems. Notre Dame J. Formal Log. 21(2): 429-448 (1980) - Hubert H. Schneider:
Substitutions for predicate variables and functional variables. Notre Dame J. Formal Log. 21(1): 33-44 (1980) - Rolf Schock:
A complete system of indexical logic. Notre Dame J. Formal Log. 21(2): 293-315 (1980) - Rolf Schock:
A natural deduction system of indexical logic. Notre Dame J. Formal Log. 21(2): 351-364 (1980) - Jonathan P. Seldin:
A second corrigendum to my paper: "Note on definitional reductions". Notre Dame J. Formal Log. 21(4): 728 (1980) - Charles Silver:
A simple strong completeness proof for sentential logic. Notre Dame J. Formal Log. 21(1): 179-181 (1980)