Advanced Search
Home > Journals > Notre Dame J. Formal Logic > Volume 10 > Issue 1
Notre Dame Journal of Formal Logic
VOL. 10 · NO. 1 | January 1969
 
VIEW ALL ABSTRACTS +
Front Matter
Miscellaneous front pages, Notre Dame Journal of Formal Logic, volume 10, issue 1 (1969)
Notre Dame J. Formal Logic 10 (1), (January 1969) Open Access
No abstract available
DOWNLOAD PAPER
Articles
Remarks on classification of theories by their complete extensions.
Karel L. de Bouvère
Notre Dame J. Formal Logic 10 (1), 1-17, (January 1969) DOI: 10.1305/ndjfl/1093893583 Open Access
KEYWORDS: 02.52
No abstract available
DOWNLOAD PAPER
A substitution free axiom set for second order logic.
Nino B. Cocchiarella
Notre Dame J. Formal Logic 10 (1), 18-30, (January 1969) DOI: 10.1305/ndjfl/1093893584 Open Access
KEYWORDS: 02.32
No abstract available
DOWNLOAD PAPER
The pragmatics of monadic quantification.
Albert Sweet
Notre Dame J. Formal Logic 10 (1), 31-46, (January 1969) DOI: 10.1305/ndjfl/1093893585 Open Access
KEYWORDS: 02.20
No abstract available
DOWNLOAD PAPER
The numerical epsilon.
John Thomas Canty
Notre Dame J. Formal Logic 10 (1), 47-63, (January 1969) DOI: 10.1305/ndjfl/1093893586 Open Access
KEYWORDS: 02.20
No abstract available
DOWNLOAD PAPER
Peirce's development of quantifiers and of predicate logic.
Richard Beatty
Notre Dame J. Formal Logic 10 (1), 64-76, (January 1969) DOI: 10.1305/ndjfl/1093893587 Open Access
KEYWORDS: 01.40, 02.00
No abstract available
DOWNLOAD PAPER
A formalisation of the arithmetic of the ordinals less than $W^\omega$.
H. P. Williams
Notre Dame J. Formal Logic 10 (1), 77-89, (January 1969) DOI: 10.1305/ndjfl/1093893588 Open Access
KEYWORDS: 04A10
No abstract available
DOWNLOAD PAPER
The application of ternary semi-groups to the study of $n$-valued Sheffer functions.
James Rosenberg
Notre Dame J. Formal Logic 10 (1), 90-94, (January 1969) DOI: 10.1305/ndjfl/1093893589 Open Access
KEYWORDS: 02.25
No abstract available
DOWNLOAD PAPER
Concerning some proposals for quantum logic.
C. W. Leininger
Notre Dame J. Formal Logic 10 (1), 95-96, (January 1969) DOI: 10.1305/ndjfl/1093893590 Open Access
KEYWORDS: 06.60, 81.00
No abstract available
DOWNLOAD PAPER
Theory of procedures. I. Simple conditionals.
M. K. Rennie
Notre Dame J. Formal Logic 10 (1), 97-112, (January 1969) DOI: 10.1305/ndjfl/1093893591 Open Access
KEYWORDS: 02.80
No abstract available
DOWNLOAD PAPER
Back Matter
Miscellaneous back pages, Notre Dame Journal of Formal Logic, volume 10, issue 1 (1969)
Notre Dame J. Formal Logic 10 (1), (January 1969) Open Access
No abstract available
DOWNLOAD PAPER
Back to Top