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 22, Number 2
Publication Date: April 1981
Miscellaneous front pages, Notre Dame Journal of Formal Logic, volume 22, issue 2 (1981)
A more satisfactory description of the semantics of justification.
John T. Kearns; 109-119
Cofinal extensions of nonstandard models of arithmetic.
C. Smoryński; 133-144
Anderson's deontic logic and relevant implication.
Robert P. McArthur; 145-154
Material implication in orthomodular (and Boolean) lattices.
Gary M. Hardegree; 163-182
Does IPC have a binary indigenous Sheffer function?
Herbert E. Hendry; 183-186
${\rm RMLC}$: solution to a problem left open by Lemmon.
Dolph Ulrich; 187-189
Miscellaneous back pages, Notre Dame Journal of Formal Logic, volume 22, issue 2 (1981)
Notre Dame Journal of Formal Logic