Advanced Search
Home > Journals > Notre Dame J. Formal Logic > Volume 19 > Issue 1
Notre Dame Journal of Formal Logic
VOL. 19 · NO. 1 | January 1978
 
VIEW ALL ABSTRACTS +
Front Matter
Miscellaneous front pages, Notre Dame Journal of Formal Logic, volume 19, issue 1 (1978)
Notre Dame J. Formal Logic 19 (1), (January 1978) Open Access
No abstract available
DOWNLOAD PAPER
Articles
Isomorphism types of the hyperarithmetic sets ${\bf H}_a$.
George C. Nelson
Notre Dame J. Formal Logic 19 (1), 1-19, (January 1978) DOI: 10.1305/ndjfl/1093888204 Open Access
KEYWORDS: 02F35
No abstract available
DOWNLOAD PAPER
Critical points of normal functions. II.
John L. Hickman
Notre Dame J. Formal Logic 19 (1), 20-24, (January 1978) DOI: 10.1305/ndjfl/1093888205 Open Access
KEYWORDS: 04A10
No abstract available
DOWNLOAD PAPER
Primitivity in mereology. I.
Paul J. Welsh Jr.
Notre Dame J. Formal Logic 19 (1), 25-62, (January 1978) DOI: 10.1305/ndjfl/1093888206 Open Access
KEYWORDS: 03B99, 03A05, 03E70
No abstract available
DOWNLOAD PAPER
A note on three-valued modal logic.
Jorgen B. Jensen, Peter F. Larsen, Edwin J. MacLellan, Peter K. Schotch
Notre Dame J. Formal Logic 19 (1), 63-68, (January 1978) DOI: 10.1305/ndjfl/1093888207 Open Access
KEYWORDS: 03B50, 03B45
No abstract available
DOWNLOAD PAPER
Apodictic truth: Husserl's eidetic reduction versus induction.
James Palermo
Notre Dame J. Formal Logic 19 (1), 69-80, (January 1978) DOI: 10.1305/ndjfl/1093888208 Open Access
No abstract available
DOWNLOAD PAPER
Essentialism and the modal semantics of J. Hintikka.
John Robert Baker
Notre Dame J. Formal Logic 19 (1), 81-91, (January 1978) DOI: 10.1305/ndjfl/1093888209 Open Access
KEYWORDS: 03B45, 03A05
No abstract available
DOWNLOAD PAPER
Foundational problems of number theory.
Yvon Gauthier
Notre Dame J. Formal Logic 19 (1), 92-100, (January 1978) DOI: 10.1305/ndjfl/1093888210 Open Access
KEYWORDS: 02A05
No abstract available
DOWNLOAD PAPER
A modal system properly independent of both the Brouwerian system and $S4$.
G. N. Georgacarakos
Notre Dame J. Formal Logic 19 (1), 101-114, (January 1978) DOI: 10.1305/ndjfl/1093888211 Open Access
KEYWORDS: 02C10
No abstract available
DOWNLOAD PAPER
A note on the decomposition of theories with respect to amalgamation, convexity, and related properties.
Charles Pinter
Notre Dame J. Formal Logic 19 (1), 115-118, (January 1978) DOI: 10.1305/ndjfl/1093888212 Open Access
KEYWORDS: 03C52
No abstract available
DOWNLOAD PAPER
An automatic theorem prover for substitution and detachment systems.
Jeremy George Peterson
Notre Dame J. Formal Logic 19 (1), 119-122, (January 1978) DOI: 10.1305/ndjfl/1093888213 Open Access
KEYWORDS: 68A40
No abstract available
DOWNLOAD PAPER
Logical and probability analysis of systems.
Mitchell O. Locks
Notre Dame J. Formal Logic 19 (1), 123-136, (January 1978) DOI: 10.1305/ndjfl/1093888214 Open Access
KEYWORDS: 02J05
No abstract available
DOWNLOAD PAPER
Right-divisive groups.
W. A. Verloren van Themaat
Notre Dame J. Formal Logic 19 (1), 137-140, (January 1978) DOI: 10.1305/ndjfl/1093888215 Open Access
KEYWORDS: 20L10
No abstract available
DOWNLOAD PAPER
A shortest single axiom for the classical equivalential calculus.
John A. Kalman
Notre Dame J. Formal Logic 19 (1), 141-144, (January 1978) DOI: 10.1305/ndjfl/1093888216 Open Access
KEYWORDS: 02B05
No abstract available
DOWNLOAD PAPER
Geach and the Lewis result.
Gary Iseminger
Notre Dame J. Formal Logic 19 (1), 145-146, (January 1978) DOI: 10.1305/ndjfl/1093888217 Open Access
No abstract available
DOWNLOAD PAPER
A formal system for the non-theorems of the propositional calculus.
Xavier Caicedo Ferrer
Notre Dame J. Formal Logic 19 (1), 147-151, (January 1978) DOI: 10.1305/ndjfl/1093888218 Open Access
KEYWORDS: 02B05, 02G05
No abstract available
DOWNLOAD PAPER
Degrees of partial functions.
Jan Bergstra
Notre Dame J. Formal Logic 19 (1), 152-154, (January 1978) DOI: 10.1305/ndjfl/1093888219 Open Access
KEYWORDS: 02F30
No abstract available
DOWNLOAD PAPER
On the consistency and independence of some set-theoretical axioms.
Alexander Abian, Samuel LaMacchia
Notre Dame J. Formal Logic 19 (1), 155-158, (January 1978) DOI: 10.1305/ndjfl/1093888220 Open Access
KEYWORDS: 04-01
No abstract available
DOWNLOAD PAPER
On some substitution instances of ${\bf R1}$ and ${\bf L1}$.
Wolfgang Lenzen
Notre Dame J. Formal Logic 19 (1), 159-164, (January 1978) DOI: 10.1305/ndjfl/1093888221 Open Access
KEYWORDS: 02C10
No abstract available
DOWNLOAD PAPER
The intensionality of the predicate `$\underline{}$ is recursive'.
Charles F. Kielkopf
Notre Dame J. Formal Logic 19 (1), 165-173, (January 1978) DOI: 10.1305/ndjfl/1093888222 Open Access
KEYWORDS: 02A05
No abstract available
DOWNLOAD PAPER
A note on the law of identity and the converse Parry property.
Kosta Došen
Notre Dame J. Formal Logic 19 (1), 174-176, (January 1978) DOI: 10.1305/ndjfl/1093888223 Open Access
KEYWORDS: 02C99
No abstract available
DOWNLOAD PAPER
Attributive names.
Steven E. Boër
Notre Dame J. Formal Logic 19 (1), 177-185, (January 1978) DOI: 10.1305/ndjfl/1093888224 Open Access
No abstract available
DOWNLOAD PAPER
Forbidden subgraphs in terms of forbidden quantifiers.
T. A. McKee
Notre Dame J. Formal Logic 19 (1), 186-188, (January 1978) DOI: 10.1305/ndjfl/1093888225 Open Access
KEYWORDS: 02H15, 05C10
No abstract available
DOWNLOAD PAPER
Free ${\rm S}5$ algebras.
Alfred Horn
Notre Dame J. Formal Logic 19 (1), 189-191, (January 1978) DOI: 10.1305/ndjfl/1093888226 Open Access
KEYWORDS: 03G25, 03B45, 06E99
No abstract available
DOWNLOAD PAPER
Back Matter
Errata for volumes 13 and 18.
Notre Dame J. Formal Logic 19 (1), 192, (January 1978) Open Access
No abstract available
DOWNLOAD PAPER
Miscellaneous back pages, Notre Dame Journal of Formal Logic, volume 19, issue 1 (1978)
Notre Dame J. Formal Logic 19 (1), (January 1978) Open Access
No abstract available
DOWNLOAD PAPER
Back to Top