The Notre Dame Journal of Formal Logic provides a forum where researchers working in all areas of logic and the foundations of mathematics can read and publish original and significant work.
Volume 21, Number 1
Publication Date: January 1980
Miscellaneous front pages, Notre Dame Journal of Formal Logic, volume 21, issue 1 (1980)
A realist semantics for Cocchiarella's ${\bf T}^\ast$.
John Carson Simms; 1-32
Substitutions for predicate variables and functional variables.
Hubert H. Schneider; 33-44
The logic of relative modality and the paradoxes of deontic logic.
John Bryant; 78-88
Several possible systems of deontic weak and strong norms.
Patrice Bailhache; 89-100
Deductive completeness and conditionalization in systems of weak implication.
M. Richard Diaz; 119-130
Generalized equivalence and the foundations of quasigroups.
T. A. McKee; 135-140
Generalized equivalence and the phraseology of configuration theorems.
T. A. McKee; 141-147
A class of two-place three-valued unary generators.
D. M. Miller and J. C. Muzio; 148-154
A model-theoretic explication of the theses of Kuhn and Whorf.
John A. Paulos; 155-165
A simple strong completeness proof for sentential logic.
Charles Silver; 179-181
Miscellaneous back pages, Notre Dame Journal of Formal Logic, volume 21, issue 1 (1980)
Notre Dame Journal of Formal Logic
