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 18, Number 3
Publication Date: July 1977
Miscellaneous front pages, Notre Dame Journal of Formal Logic, volume 18, issue 3 (1977)
Two systems of presupposition logic.
J. M. Bell and Lloyd Humberstone; 321-339
A note on metaphysics and the foundations of mathematics.
Robert L. Wilson; 355-362
An axiomatization of Herzberger's $2$-dimensional presuppositional semantics.
John N. Martin; 378-382
Recursive and recursively enumerable manifolds. II.
Vladeta Vučković; 383-405
A note on the axiom of choice and the continuum hypothesis.
Rolf Schock; 409-414
Sémantique des formules logiques en forme d'équivalence $n$-aire (demi-modèles).
Metoděj K. Chytil; 421-435
The ``conditionatim''-clause: one of the problems of existential import in the history of logic.
Ivan Boh; 459-466
Some Post-complete extensions of ${\rm S}2$ and ${\rm S}3$.
Robert V. Kohn; 467-470
Some applications of model theory to the metatheory of program schemata.
Richard A. DeMillo; 489-495
The continuum hypothesis is independent of second-order ZF.
Thomas S. Weston; 499-503
Miscellaneous back pages, Notre Dame Journal of Formal Logic, volume 18, issue 3 (1977)
Notre Dame Journal of Formal Logic
