Advanced Search
Home > Journals > Notre Dame J. Formal Logic > Volume 14 > Issue 4
Notre Dame Journal of Formal Logic
VOL. 14 · NO. 4 | October 1973
 
VIEW ALL ABSTRACTS +
Front Matter
Miscellaneous front pages, Notre Dame Journal of Formal Logic, volume 14, issue 4 (1973)
Notre Dame J. Formal Logic 14 (4), (October 1973) Open Access
No abstract available
DOWNLOAD PAPER
Articles
A felicitous fragment of the predicate calculus.
C. L. Hamblin
Notre Dame J. Formal Logic 14 (4), 433-447, (October 1973) DOI: 10.1305/ndjfl/1093891098 Open Access
KEYWORDS: 02G05, 02B10
No abstract available
DOWNLOAD PAPER
On the intuitionistic equivalential calculus.
Robert E. Tax
Notre Dame J. Formal Logic 14 (4), 448-456, (October 1973) DOI: 10.1305/ndjfl/1093891099 Open Access
KEYWORDS: 02C15, 02B05
No abstract available
DOWNLOAD PAPER
A simplified decision procedure for categorical syllogisms.
Harry J. Gensler
Notre Dame J. Formal Logic 14 (4), 457-466, (October 1973) DOI: 10.1305/ndjfl/1093891100 Open Access
KEYWORDS: 02B10
No abstract available
DOWNLOAD PAPER
Formally defined operations in Kripke models.
Luis E. Sanchis
Notre Dame J. Formal Logic 14 (4), 467-480, (October 1973) DOI: 10.1305/ndjfl/1093891101 Open Access
KEYWORDS: 02C15, 02G20
No abstract available
DOWNLOAD PAPER
Incidence rings of pre-ordered sets.
W. Russell Belding
Notre Dame J. Formal Logic 14 (4), 481-509, (October 1973) DOI: 10.1305/ndjfl/1093891102 Open Access
KEYWORDS: 06A10
No abstract available
DOWNLOAD PAPER
The two logics: traditional and modern.
Theodore C. Denise
Notre Dame J. Formal Logic 14 (4), 510-518, (October 1973) DOI: 10.1305/ndjfl/1093891103 Open Access
KEYWORDS: 02B10, 02A05
No abstract available
DOWNLOAD PAPER
Infinite series of $T$-regressive isols.
Judith L. Gersting
Notre Dame J. Formal Logic 14 (4), 519-526, (October 1973) DOI: 10.1305/ndjfl/1093891104 Open Access
KEYWORDS: 02F40
No abstract available
DOWNLOAD PAPER
Les propriétés du foncteur Nicod par rapport à la réciprocité et conjonction. I.
Eugen Mihăilescu
Notre Dame J. Formal Logic 14 (4), 527-535, (October 1973) DOI: 10.1305/ndjfl/1093891105 Open Access
KEYWORDS: 02B05
No abstract available
DOWNLOAD PAPER
Truth, falsehood, and contingency in first-order predicate calculus.
Charles G. Morgan
Notre Dame J. Formal Logic 14 (4), 536-542, (October 1973) DOI: 10.1305/ndjfl/1093891106 Open Access
KEYWORDS: 02B10
No abstract available
DOWNLOAD PAPER
On the real logical structure of Lewis' independent proof.
J. E. Wiredu
Notre Dame J. Formal Logic 14 (4), 543-546, (October 1973) DOI: 10.1305/ndjfl/1093891107 Open Access
KEYWORDS: 02B05, 02A05
No abstract available
DOWNLOAD PAPER
Concerning the quantifier algebras in the sense of Pinter.
Bolesław Sobociński
Notre Dame J. Formal Logic 14 (4), 547-553, (October 1973) DOI: 10.1305/ndjfl/1093891108 Open Access
KEYWORDS: 02J15
No abstract available
DOWNLOAD PAPER
A stronger theorem concerning the non-existence of combinatorial designs on infinite sets.
William J. Frascella
Notre Dame J. Formal Logic 14 (4), 554-558, (October 1973) DOI: 10.1305/ndjfl/1093891109 Open Access
KEYWORDS: 04A20
No abstract available
DOWNLOAD PAPER
Two results in Leśniewski's mereology.
Robert E. Clay
Notre Dame J. Formal Logic 14 (4), 559-564, (October 1973) DOI: 10.1305/ndjfl/1093891110 Open Access
KEYWORDS: 02K15
No abstract available
DOWNLOAD PAPER
A note on: ``Transitivity, supertransitivity and induction''.
W. Russell Belding, Richard L. Poss
Notre Dame J. Formal Logic 14 (4), 565-566, (October 1973) DOI: 10.1305/ndjfl/1093891111 Open Access
KEYWORDS: 02K99
No abstract available
DOWNLOAD PAPER
A new extension of $S4$.
R. I. Goldblatt
Notre Dame J. Formal Logic 14 (4), 567-574, (October 1973) DOI: 10.1305/ndjfl/1093891112 Open Access
KEYWORDS: 02C10
No abstract available
DOWNLOAD PAPER
The geometry of solids in Hilbert spaces.
Theodore F. Sullivan
Notre Dame J. Formal Logic 14 (4), 575-580, (October 1973) DOI: 10.1305/ndjfl/1093891113 Open Access
KEYWORDS: 46C05
No abstract available
DOWNLOAD PAPER
Kripke's deontic semantics again.
John Bacon
Notre Dame J. Formal Logic 14 (4), 581-582, (October 1973) DOI: 10.1305/ndjfl/1093891114 Open Access
KEYWORDS: 02C10
No abstract available
DOWNLOAD PAPER
Back Matter
Editorial notice.
Notre Dame J. Formal Logic 14 (4), 583, (October 1973) Open Access
No abstract available
DOWNLOAD PAPER
Errata: ``An equational axiomatization of associative Newman algebras''.
Bolesław Sobociński
Notre Dame J. Formal Logic 14 (4), 584, (October 1973) Open Access
KEYWORDS: 06A40
No abstract available
DOWNLOAD PAPER
Errata: ``Note on G. J. Massey's closure-algebraic operation''.
Bolesław Sobociński
Notre Dame J. Formal Logic 14 (4), 584, (October 1973) Open Access
KEYWORDS: 02C10
No abstract available
DOWNLOAD PAPER
Errata: ``Decision procedures for Lewis system $S1$ and related modal systems''.
Anjan Shukla
Notre Dame J. Formal Logic 14 (4), 584, (October 1973) Open Access
KEYWORDS: 02C10
No abstract available
DOWNLOAD PAPER
Errata: ``Copi's method of deduction again''.
M. C. Bradley
Notre Dame J. Formal Logic 14 (4), 584, (October 1973) Open Access
KEYWORDS: 02A05
No abstract available
DOWNLOAD PAPER
Miscellaneous back pages, Notre Dame Journal of Formal Logic, volume 14, issue 4 (1973)
Notre Dame J. Formal Logic 14 (4), (October 1973) Open Access
No abstract available
DOWNLOAD PAPER
Back to Top