Notre Dame Journal of Formal Logic

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 1

Publication Date: January 1977

Miscellaneous front pages, Notre Dame Journal of Formal Logic, volume 18, issue 1 (1977)

View PDF

View Abstract

Leśniewski's ontology extended with the axiom of choice.

James George Kowalski; 1-78

A semantics model for imperatives.

Patric Cean Nolan; 79-84

Logical truth and indeterminacy.

Steven E. Boër; 85-94

Abnormal worlds and the non-Lewis modal systems.

G. N. Georgacarakos; 95-100

Three-valued free tense logic.

Robert P. McArthur; 101-106

A strong completeness theorem for $3$-valued logic. II.

Hugues Leblanc; 107-116

The ${\bf Q}$-consistency of ${\cal F}_{22}$.

Jonathan P. Seldin; 117-127

Are modal contexts referentially opaque?

J. M. Orenduff; 128-132

On De Morgan's argument.

Daniel D. Merrill; 133-139

Negation, material equivalence, and conditioned nonconjunction: completeness and duality.

Gerald J. Massey; 140-144

A note on the completeness proof for natural deduction.

David W. Bennett; 145-146

On two first order type theories for the theory of sets.

Fred Coppotelli; 147-150

Variations of Zorn's lemma, principles of cofinality, and Hausdorff's maximal principle. II. Class forms.

Judith M. Harper and Jean E. Rubin; 151-163

Classical logical relations.

A. J. Baker; 164-168

Regressive order-types.

John L. Hickman; 169-174

Next $P$ admissible sets are of cofinality $\omega$.

Judy Green; 175-176

A note on Thomason's representation of S5.

Satoshi Miura and Shigeo Ōhama; 177-180

First degree formulas in Curry's LD.

Robert K. Meyer; 181-191

Errata for volumes 9, 14 and 17.

192

Miscellaneous back pages, Notre Dame Journal of Formal Logic, volume 18, issue 1 (1977)

View PDF

View Abstract

Notre Dame Journal of Formal Logic