Advanced Search
Home > Journals > Notre Dame J. Formal Logic > Volume 18 > Issue 1
Notre Dame Journal of Formal Logic
VOL. 18 · NO. 1 | January 1977
 
VIEW ALL ABSTRACTS +
Front Matter
Miscellaneous front pages, Notre Dame Journal of Formal Logic, volume 18, issue 1 (1977)
Notre Dame J. Formal Logic 18 (1), (January 1977) Open Access
No abstract available
DOWNLOAD PAPER
Articles
Leśniewski's ontology extended with the axiom of choice.
James George Kowalski
Notre Dame J. Formal Logic 18 (1), 1-78, (January 1977) DOI: 10.1305/ndjfl/1093887820 Open Access
KEYWORDS: 02B15, 02K20
No abstract available
DOWNLOAD PAPER
A semantics model for imperatives.
Patric Cean Nolan
Notre Dame J. Formal Logic 18 (1), 79-84, (January 1977) DOI: 10.1305/ndjfl/1093887821 Open Access
No abstract available
DOWNLOAD PAPER
Logical truth and indeterminacy.
Steven E. Boër
Notre Dame J. Formal Logic 18 (1), 85-94, (January 1977) DOI: 10.1305/ndjfl/1093887822 Open Access
No abstract available
DOWNLOAD PAPER
Abnormal worlds and the non-Lewis modal systems.
G. N. Georgacarakos
Notre Dame J. Formal Logic 18 (1), 95-100, (January 1977) DOI: 10.1305/ndjfl/1093887823 Open Access
KEYWORDS: 02C10
No abstract available
DOWNLOAD PAPER
Three-valued free tense logic.
Robert P. McArthur
Notre Dame J. Formal Logic 18 (1), 101-106, (January 1977) DOI: 10.1305/ndjfl/1093887824 Open Access
KEYWORDS: 02C10, 02C05
No abstract available
DOWNLOAD PAPER
A strong completeness theorem for $3$-valued logic. II.
Hugues Leblanc
Notre Dame J. Formal Logic 18 (1), 107-116, (January 1977) DOI: 10.1305/ndjfl/1093887825 Open Access
KEYWORDS: 02C05
No abstract available
DOWNLOAD PAPER
The ${\bf Q}$-consistency of ${\cal F}_{22}$.
Jonathan P. Seldin
Notre Dame J. Formal Logic 18 (1), 117-127, (January 1977) DOI: 10.1305/ndjfl/1093887826 Open Access
KEYWORDS: 02C20
No abstract available
DOWNLOAD PAPER
Are modal contexts referentially opaque?
J. M. Orenduff
Notre Dame J. Formal Logic 18 (1), 128-132, (January 1977) DOI: 10.1305/ndjfl/1093887827 Open Access
No abstract available
DOWNLOAD PAPER
On De Morgan's argument.
Daniel D. Merrill
Notre Dame J. Formal Logic 18 (1), 133-139, (January 1977) DOI: 10.1305/ndjfl/1093887828 Open Access
KEYWORDS: 02A05
No abstract available
DOWNLOAD PAPER
Negation, material equivalence, and conditioned nonconjunction: completeness and duality.
Gerald J. Massey
Notre Dame J. Formal Logic 18 (1), 140-144, (January 1977) DOI: 10.1305/ndjfl/1093887829 Open Access
KEYWORDS: 02B05
No abstract available
DOWNLOAD PAPER
A note on the completeness proof for natural deduction.
David W. Bennett
Notre Dame J. Formal Logic 18 (1), 145-146, (January 1977) DOI: 10.1305/ndjfl/1093887830 Open Access
KEYWORDS: 02G20
No abstract available
DOWNLOAD PAPER
On two first order type theories for the theory of sets.
Fred Coppotelli
Notre Dame J. Formal Logic 18 (1), 147-150, (January 1977) DOI: 10.1305/ndjfl/1093887831 Open Access
KEYWORDS: 02K15
No abstract available
DOWNLOAD PAPER
Variations of Zorn's lemma, principles of cofinality, and Hausdorff's maximal principle. II. Class forms.
Judith M. Harper, Jean E. Rubin
Notre Dame J. Formal Logic 18 (1), 151-163, (January 1977) DOI: 10.1305/ndjfl/1093887832 Open Access
KEYWORDS: 04A25
No abstract available
DOWNLOAD PAPER
Classical logical relations.
A. J. Baker
Notre Dame J. Formal Logic 18 (1), 164-168, (January 1977) DOI: 10.1305/ndjfl/1093887833 Open Access
No abstract available
DOWNLOAD PAPER
Regressive order-types.
John L. Hickman
Notre Dame J. Formal Logic 18 (1), 169-174, (January 1977) DOI: 10.1305/ndjfl/1093887834 Open Access
KEYWORDS: 06A05, 04A05
No abstract available
DOWNLOAD PAPER
Next $P$ admissible sets are of cofinality $\omega$.
Judy Green
Notre Dame J. Formal Logic 18 (1), 175-176, (January 1977) DOI: 10.1305/ndjfl/1093887835 Open Access
KEYWORDS: 02K15
No abstract available
DOWNLOAD PAPER
A note on Thomason's representation of S5.
Satoshi Miura, Shigeo Ōhama
Notre Dame J. Formal Logic 18 (1), 177-180, (January 1977) DOI: 10.1305/ndjfl/1093887836 Open Access
KEYWORDS: 02C10
No abstract available
DOWNLOAD PAPER
First degree formulas in Curry's LD.
Robert K. Meyer
Notre Dame J. Formal Logic 18 (1), 181-191, (January 1977) DOI: 10.1305/ndjfl/1093887837 Open Access
KEYWORDS: 02C15, 02C10
No abstract available
DOWNLOAD PAPER
Back Matter
Errata for volumes 9, 14 and 17.
Notre Dame J. Formal Logic 18 (1), 192, (January 1977) Open Access
No abstract available
DOWNLOAD PAPER
Miscellaneous back pages, Notre Dame Journal of Formal Logic, volume 18, issue 1 (1977)
Notre Dame J. Formal Logic 18 (1), (January 1977) Open Access
No abstract available
DOWNLOAD PAPER
Back to Top