Advanced Search
Home > Journals > Notre Dame J. Formal Logic > Volume 14 > Issue 2
Notre Dame Journal of Formal Logic
VOL. 14 · NO. 2 | February 1973
 
VIEW ALL ABSTRACTS +
Front Matter
Miscellaneous front pages, Notre Dame Journal of Formal Logic, volume 14, issue 2 (1973)
Notre Dame J. Formal Logic 14 (2), (February 1973) Open Access
No abstract available
DOWNLOAD PAPER
Articles
Rado's theorem and solvability of systems of equations.
Alexander Abian
Notre Dame J. Formal Logic 14 (2), 145-150, (February 1973) DOI: 10.1305/ndjfl/1093890889 Open Access
KEYWORDS: 05A05, 04A20
No abstract available
DOWNLOAD PAPER
A simplified semantics for modal logic.
L. F. Goble
Notre Dame J. Formal Logic 14 (2), 151-174, (February 1973) DOI: 10.1305/ndjfl/1093890890 Open Access
KEYWORDS: 02C10
No abstract available
DOWNLOAD PAPER
The completeness of an intensional logic: definite topological logic.
James W. Garson
Notre Dame J. Formal Logic 14 (2), 175-184, (February 1973) DOI: 10.1305/ndjfl/1093890891 Open Access
KEYWORDS: 02C10
No abstract available
DOWNLOAD PAPER
Physical modalities and the system $E$.
Kenneth W. Collier
Notre Dame J. Formal Logic 14 (2), 185-194, (February 1973) DOI: 10.1305/ndjfl/1093890892 Open Access
KEYWORDS: 02C10
No abstract available
DOWNLOAD PAPER
The concept of logic.
A. P. Rao
Notre Dame J. Formal Logic 14 (2), 195-204, (February 1973) DOI: 10.1305/ndjfl/1093890893 Open Access
KEYWORDS: 02A05
No abstract available
DOWNLOAD PAPER
Andreas Kesler and the later theory of consequence.
E. J. Ashworth
Notre Dame J. Formal Logic 14 (2), 205-214, (February 1973) DOI: 10.1305/ndjfl/1093890894 Open Access
KEYWORDS: 02A05, 01A45
No abstract available
DOWNLOAD PAPER
Une généralisation du carré logique.
Teodor Stihi
Notre Dame J. Formal Logic 14 (2), 215-223, (February 1973) DOI: 10.1305/ndjfl/1093890895 Open Access
KEYWORDS: 02B10
No abstract available
DOWNLOAD PAPER
On conserving positive logics.
Robert K. Meyer
Notre Dame J. Formal Logic 14 (2), 224-236, (February 1973) DOI: 10.1305/ndjfl/1093890896 Open Access
KEYWORDS: 02B05
No abstract available
DOWNLOAD PAPER
Local recursive theory.
Vladeta Vučković
Notre Dame J. Formal Logic 14 (2), 237-246, (February 1973) DOI: 10.1305/ndjfl/1093890897 Open Access
KEYWORDS: 02F25
No abstract available
DOWNLOAD PAPER
Simultaneous versus successive quantification.
Leroy F. Meyers
Notre Dame J. Formal Logic 14 (2), 247-249, (February 1973) DOI: 10.1305/ndjfl/1093890898 Open Access
KEYWORDS: 02-01
No abstract available
DOWNLOAD PAPER
Many-valued logics and the Lewis paradoxes.
Edward Schuh
Notre Dame J. Formal Logic 14 (2), 250-252, (February 1973) DOI: 10.1305/ndjfl/1093890899 Open Access
KEYWORDS: 02C05
No abstract available
DOWNLOAD PAPER
A completeness proof for $C$-calculus.
H. Hiż
Notre Dame J. Formal Logic 14 (2), 253-258, (February 1973) DOI: 10.1305/ndjfl/1093890900 Open Access
KEYWORDS: 02B05
No abstract available
DOWNLOAD PAPER
On how best to make sense of Leśniewski's ontology.
Paul T. Sagal
Notre Dame J. Formal Logic 14 (2), 259-262, (February 1973) DOI: 10.1305/ndjfl/1093890901 Open Access
KEYWORDS: 02A05, 02B15
No abstract available
DOWNLOAD PAPER
Sums of at least $9$ ordinals.
Martin M. Zuckerman
Notre Dame J. Formal Logic 14 (2), 263-268, (February 1973) DOI: 10.1305/ndjfl/1093890902 Open Access
KEYWORDS: 04A10
No abstract available
DOWNLOAD PAPER
On the number of overlapping subsets of a set.
Paul J. Welsh Jr.
Notre Dame J. Formal Logic 14 (2), 269-272, (February 1973) DOI: 10.1305/ndjfl/1093890903 Open Access
KEYWORDS: 05A05, 04A20
No abstract available
DOWNLOAD PAPER
A note on transitivity.
John R. Chidgey
Notre Dame J. Formal Logic 14 (2), 273-275, (February 1973) DOI: 10.1305/ndjfl/1093890904 Open Access
KEYWORDS: 02B05
No abstract available
DOWNLOAD PAPER
Unusual feature of $S3^\ast$.
Ivo Thomas
Notre Dame J. Formal Logic 14 (2), 276, (February 1973) DOI: 10.1305/ndjfl/1093890905 Open Access
KEYWORDS: 02C10
No abstract available
DOWNLOAD PAPER
On the extensions of $S5$.
Peter Gärdenfors
Notre Dame J. Formal Logic 14 (2), 277-280, (February 1973) DOI: 10.1305/ndjfl/1093890906 Open Access
KEYWORDS: 02C10
No abstract available
DOWNLOAD PAPER
A new representation of $S5$.
Steven K. Thomason
Notre Dame J. Formal Logic 14 (2), 281-284, (February 1973) DOI: 10.1305/ndjfl/1093890907 Open Access
KEYWORDS: 02C10
No abstract available
DOWNLOAD PAPER
On an alleged contradiction lurking in Frege's Begriffsschrift.
Terrell Ward Bynum
Notre Dame J. Formal Logic 14 (2), 285-287, (February 1973) DOI: 10.1305/ndjfl/1093890908 Open Access
KEYWORDS: 02A05, 01A55
No abstract available
DOWNLOAD PAPER
A correction in Copi's account of Boolean normal forms.
Alex Blum
Notre Dame J. Formal Logic 14 (2), 288, (February 1973) DOI: 10.1305/ndjfl/1093890909 Open Access
KEYWORDS: 02-01
No abstract available
DOWNLOAD PAPER
Back Matter
Miscellaneous back pages, Notre Dame Journal of Formal Logic, volume 14, issue 2 (1973)
Notre Dame J. Formal Logic 14 (2), (February 1973) Open Access
No abstract available
DOWNLOAD PAPER
Back to Top