Advanced Search
Home > Journals > Notre Dame J. Formal Logic > Volume 8 > Issue 1-2
Notre Dame Journal of Formal Logic
VOL. 8 · NO. 1-2 | April 1967
 
VIEW ALL ABSTRACTS +
Front Matter
Miscellaneous front pages, Notre Dame Journal of Formal Logic, volume 8, issue 1-2 (1967)
Notre Dame J. Formal Logic 8 (1-2), (April 1967) Open Access
No abstract available
DOWNLOAD PAPER
Articles
In memoriam: Wilhelm Ackermann (1896-1962).
Hans Hermes
Notre Dame J. Formal Logic 8 (1-2), 1-8, (April 1967) DOI: 10.1305/ndjfl/1093956238 Open Access
KEYWORDS: 02.00
No abstract available
DOWNLOAD PAPER
Formal nonassociative number theory.
Dorothy Bollman
Notre Dame J. Formal Logic 8 (1-2), 9-16, (April 1967) DOI: 10.1305/ndjfl/1093956239 Open Access
KEYWORDS: 17.10, 02.00
No abstract available
DOWNLOAD PAPER
Limited universal and existential quantifiers in commutative partially ordered recursive arithmetics.
M. T. Partis
Notre Dame J. Formal Logic 8 (1-2), 17-23, (April 1967) DOI: 10.1305/ndjfl/1093956240 Open Access
KEYWORDS: 02.72
No abstract available
DOWNLOAD PAPER
Rings of term-relation numbers as non-standard models.
F. G. Asenjo
Notre Dame J. Formal Logic 8 (1-2), 24-26, (April 1967) DOI: 10.1305/ndjfl/1093956241 Open Access
KEYWORDS: 02.57
No abstract available
DOWNLOAD PAPER
Combinatorial designs on infinite sets.
William J. Frascella
Notre Dame J. Formal Logic 8 (1-2), 27-47, (April 1967) DOI: 10.1305/ndjfl/1093956242 Open Access
KEYWORDS: 05.30, 04.00
No abstract available
DOWNLOAD PAPER
A theorem on $n$-tuples which is equivalent to the well-ordering theorem.
H. Rubin, J. E. Rubin
Notre Dame J. Formal Logic 8 (1-2), 48-50, (April 1967) DOI: 10.1305/ndjfl/1093956243 Open Access
KEYWORDS: 04.60
No abstract available
DOWNLOAD PAPER
Algebraic independence in an infinite Steiner triple system.
Abraham Goetz
Notre Dame J. Formal Logic 8 (1-2), 51-55, (April 1967) DOI: 10.1305/ndjfl/1093956244 Open Access
KEYWORDS: 08.30
No abstract available
DOWNLOAD PAPER
The deduction theorem in ${\rm S}4,$ ${\rm S}4.2$, and ${\rm S}5$.
J. Jay Zeman
Notre Dame J. Formal Logic 8 (1-2), 56-60, (April 1967) DOI: 10.1305/ndjfl/1093956245 Open Access
KEYWORDS: 02.27
No abstract available
DOWNLOAD PAPER
The contribution of Leśniewski.
John T. Kearns
Notre Dame J. Formal Logic 8 (1-2), 61-93, (April 1967) DOI: 10.1305/ndjfl/1093956246 Open Access
KEYWORDS: 02.00
No abstract available
DOWNLOAD PAPER
On identity and interchangeability in Leibnitz and Frege.
Ignacio Angelelli
Notre Dame J. Formal Logic 8 (1-2), 94-100, (April 1967) DOI: 10.1305/ndjfl/1093956247 Open Access
No abstract available
DOWNLOAD PAPER
A decision procedure for Fitch's propositional calculus.
Richmond H. Thomason
Notre Dame J. Formal Logic 8 (1-2), 101-117, (April 1967) DOI: 10.1305/ndjfl/1093956248 Open Access
KEYWORDS: 02.27
No abstract available
DOWNLOAD PAPER
A note on the axiomatizations of certain modal systems.
Anjan Shukla
Notre Dame J. Formal Logic 8 (1-2), 118-120, (April 1967) DOI: 10.1305/ndjfl/1093956249 Open Access
KEYWORDS: 02.27
No abstract available
DOWNLOAD PAPER
Contrariety.
Storrs McCall
Notre Dame J. Formal Logic 8 (1-2), 121-132, (April 1967) DOI: 10.1305/ndjfl/1093956250 Open Access
No abstract available
DOWNLOAD PAPER
Free logic and the concept of existence.
Karel Lambert
Notre Dame J. Formal Logic 8 (1-2), 133-144, (April 1967) DOI: 10.1305/ndjfl/1093956251 Open Access
KEYWORDS: 02.20
No abstract available
DOWNLOAD PAPER
Three-valued propositional fragments with classical implication.
Ivo Thomas
Notre Dame J. Formal Logic 8 (1-2), 145-147, (April 1967) DOI: 10.1305/ndjfl/1093956252 Open Access
KEYWORDS: 02.25
No abstract available
DOWNLOAD PAPER
Recursive models for three-valued propositional calculi with classical implication.
Vladeta Vučković
Notre Dame J. Formal Logic 8 (1-2), 148-153, (April 1967) DOI: 10.1305/ndjfl/1093956253 Open Access
KEYWORDS: 02.25
No abstract available
DOWNLOAD PAPER
A recursive model for the extended system ${\cal A}$ of B. Sobociński.
Vladeta Vučković
Notre Dame J. Formal Logic 8 (1-2), 154-158, (April 1967) DOI: 10.1305/ndjfl/1093956254 Open Access
KEYWORDS: 02.25
No abstract available
DOWNLOAD PAPER
Note on an inequality of Tibor Rado.
Michael Anderson
Notre Dame J. Formal Logic 8 (1-2), 159-160, (April 1967) DOI: 10.1305/ndjfl/1093956255 Open Access
KEYWORDS: 02.88
No abstract available
DOWNLOAD PAPER
Back Matter
Miscellaneous back pages, Notre Dame Journal of Formal Logic, volume 8, issue 1-2 (1967)
Notre Dame J. Formal Logic 8 (1-2), (April 1967) Open Access
No abstract available
DOWNLOAD PAPER
Back to Top