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 30, Number 1
Publication Date: Winter 1989
Miscellaneous front pages, Notre Dame Journal of Formal Logic, volume 30, issue 1 (1989)
A constructivism based on classical truth.
Pierangelo Miglioli, Ugo Moscato, Mario Ornaghi and Gabriele Usberti; 67-90
``Pathologies'' in two syntactic categories of partial maps.
Franco Montagna; 105-116
On the structure of De Morgan monoids with corollaries on relevant logic and theories.
John K. Slaney; 117-129
The elementary theory of the natural lattice is finitely axiomatizable.
Patrick Cegielski; 138-150
Correction to: ``Survey of generalizations of Urquhart semantics''
R. A. Bull; 151-153
Corrigendum to: ``Diagonalization and the recursion theorem''.
James C. Owings; 153