Advanced Search
Home > Journals > Notre Dame J. Formal Logic > Volume 18 > Issue 4
Notre Dame Journal of Formal Logic
VOL. 18 · NO. 4 | October 1977
 
VIEW ALL ABSTRACTS +
Front Matter
Miscellaneous front pages, Notre Dame Journal of Formal Logic, volume 18, issue 4 (1977)
Notre Dame J. Formal Logic 18 (4), (October 1977) Open Access
No abstract available
DOWNLOAD PAPER
Articles
In memoriam: Carew Arthur Meredith (1904--1976).
David Meredith
Notre Dame J. Formal Logic 18 (4), 513-516, (October 1977) DOI: 10.1305/ndjfl/1093888116 Open Access
KEYWORDS: 01A70
No abstract available
DOWNLOAD PAPER
Modal tree constructions.
Ralph L. Slaght
Notre Dame J. Formal Logic 18 (4), 517-526, (October 1977) DOI: 10.1305/ndjfl/1093888117 Open Access
KEYWORDS: 02C10
No abstract available
DOWNLOAD PAPER
Critical points of normal functions. I.
John L. Hickman
Notre Dame J. Formal Logic 18 (4), 527-534, (October 1977) DOI: 10.1305/ndjfl/1093888118 Open Access
KEYWORDS: 04A10
No abstract available
DOWNLOAD PAPER
Pathologies in the ed-regressive sets of order $2$.
Seth Catlin
Notre Dame J. Formal Logic 18 (4), 535-544, (October 1977) DOI: 10.1305/ndjfl/1093888119 Open Access
KEYWORDS: 02F40
No abstract available
DOWNLOAD PAPER
Degrees of unsolvability and strong forms of $\Lambda_R+\Lambda_R\not\subseteq \Lambda_R$.
Thomas G. McLaughlin
Notre Dame J. Formal Logic 18 (4), 545-566, (October 1977) DOI: 10.1305/ndjfl/1093888120 Open Access
KEYWORDS: 02F40
No abstract available
DOWNLOAD PAPER
Some thomistic properties of primordiality.
R. M. Martin
Notre Dame J. Formal Logic 18 (4), 567-582, (October 1977) DOI: 10.1305/ndjfl/1093888121 Open Access
No abstract available
DOWNLOAD PAPER
Is the intuitionistic bar-induction a constructive principle?
Klaus Mainzer
Notre Dame J. Formal Logic 18 (4), 583-588, (October 1977) DOI: 10.1305/ndjfl/1093888122 Open Access
KEYWORDS: 02E05, 02C15
No abstract available
DOWNLOAD PAPER
A note on Suzuki's chain of hyperdegrees.
P. G. Odifreddi
Notre Dame J. Formal Logic 18 (4), 589-590, (October 1977) DOI: 10.1305/ndjfl/1093888123 Open Access
KEYWORDS: 02F35
No abstract available
DOWNLOAD PAPER
On Ackermann's theory of sets.
Dasharath Singh
Notre Dame J. Formal Logic 18 (4), 591-595, (October 1977) DOI: 10.1305/ndjfl/1093888124 Open Access
KEYWORDS: 02K10
No abstract available
DOWNLOAD PAPER
A note on the truth-table for ``if $p$ then $q$''.
Lee C. Archie, B. G. Hurdle Jr., William Stewart Thomblison
Notre Dame J. Formal Logic 18 (4), 596-598, (October 1977) DOI: 10.1305/ndjfl/1093888125 Open Access
KEYWORDS: 02A05, 02B05
No abstract available
DOWNLOAD PAPER
On Ramsey's theorem and the axiom of choice.
Gabriele Lolli
Notre Dame J. Formal Logic 18 (4), 599-601, (October 1977) DOI: 10.1305/ndjfl/1093888126 Open Access
KEYWORDS: 04A25, 04A20
No abstract available
DOWNLOAD PAPER
Modal trees for ${\rm T}$ and ${\rm S}5$.
B. Davidson, F. C. Jackson, R. Pargetter
Notre Dame J. Formal Logic 18 (4), 602-606, (October 1977) DOI: 10.1305/ndjfl/1093888127 Open Access
KEYWORDS: 02C10
No abstract available
DOWNLOAD PAPER
Two comments on Lemmon's Beginning logic.
Barry Coburn, David Miller
Notre Dame J. Formal Logic 18 (4), 607-610, (October 1977) DOI: 10.1305/ndjfl/1093888128 Open Access
KEYWORDS: 02B05
No abstract available
DOWNLOAD PAPER
``Not both $p$ and $q$, therefore if $p$ then $q$'' is a valid form of argument.
S. K. Wertz
Notre Dame J. Formal Logic 18 (4), 611-612, (October 1977) DOI: 10.1305/ndjfl/1093888129 Open Access
No abstract available
DOWNLOAD PAPER
On an enduring non sequitur of Quine's.
Gary H. Merrill
Notre Dame J. Formal Logic 18 (4), 613-615, (October 1977) DOI: 10.1305/ndjfl/1093888130 Open Access
No abstract available
DOWNLOAD PAPER
An axiom system for three-valued Ł ukasiewicz propositional calculus.
Luisa Iturrioz
Notre Dame J. Formal Logic 18 (4), 616-620, (October 1977) DOI: 10.1305/ndjfl/1093888131 Open Access
KEYWORDS: 02C05
No abstract available
DOWNLOAD PAPER
A semantical analysis of the calculi ${\bf C}_n$.
E. H. Alves, Newton C. A. da Costa
Notre Dame J. Formal Logic 18 (4), 621-630, (October 1977) DOI: 10.1305/ndjfl/1093888132 Open Access
KEYWORDS: 02C99
No abstract available
DOWNLOAD PAPER
Fitch-style rules for many modal logics.
David F. Siemens Jr.
Notre Dame J. Formal Logic 18 (4), 631-636, (October 1977) DOI: 10.1305/ndjfl/1093888133 Open Access
KEYWORDS: 02C10
No abstract available
DOWNLOAD PAPER
Necessitas consequentis in a singleton possible world.
Robert W. Murungi
Notre Dame J. Formal Logic 18 (4), 637-638, (October 1977) DOI: 10.1305/ndjfl/1093888134 Open Access
KEYWORDS: 02C10
No abstract available
DOWNLOAD PAPER
A note on the roots on Peirce's division of logic into three branches.
Emily Michael
Notre Dame J. Formal Logic 18 (4), 639-640, (October 1977) DOI: 10.1305/ndjfl/1093888135 Open Access
KEYWORDS: 02-03, 01A55
No abstract available
DOWNLOAD PAPER
Back Matter
Miscellaneous back pages, Notre Dame Journal of Formal Logic, volume 18, issue 4 (1977)
Notre Dame J. Formal Logic 18 (4), (October 1977) Open Access
No abstract available
DOWNLOAD PAPER
Back to Top