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 31, Number 4
Publication Date: Fall 1990
Miscellaneous front pages, Notre Dame Journal of Formal Logic, volume 31, issue 4 (1990)
Derivability conditions on Rosser's provability predicates.
Toshiyasu Arai; 487-497
Remarks on special lattices and related constructive logics with strong negation.
Piero Pagliani; 515-528
Expressiveness and completeness of an interval tense logic.
Yde Venema; 529-547
Some syntactical properties of intermediate predicate logics.
Nobu-Yuki Suzuki; 548-559
A generalization of the adequacy theorem for the quasi-senses.
Cinzia Bonotto; 560-575
Expressive completeness and decidability.
George F. Schumm and Stewart Shapiro; 576-579
Concerted instant-interval temporal semantics. II. Temporal valuations and logics of change.
Alexander Bochman; 580-601
Review of K. Gödel's Collected works, Vol. II [Oxford Univ. Press, New York, 1990].
G. Kreisel; 602-641