Advanced Search
Home > Journals > Notre Dame J. Formal Logic > Volume 15 > Issue 1
Notre Dame Journal of Formal Logic
VOL. 15 · NO. 1 | January 1974
 
VIEW ALL ABSTRACTS +
Front Matter
Miscellaneous front pages, Notre Dame Journal of Formal Logic, volume 15, issue 1 (1974)
Notre Dame J. Formal Logic 15 (1), (January 1974)
No abstract available
DOWNLOAD PAPER
Articles
Some results and algebraic applications in the theory of higher-order ultraproducts.
Wilfred G. Malcolm
Notre Dame J. Formal Logic 15 (1), 1-15, (January 1974) DOI: 10.1305/ndjfl/1093891194
KEYWORDS: 02H15, 20A10
No abstract available
DOWNLOAD PAPER
Quine on the inscrutability and relativity of reference.
Michael J. Loux, Wm. David Solomon
Notre Dame J. Formal Logic 15 (1), 16-24, (January 1974) DOI: 10.1305/ndjfl/1093891195
No abstract available
DOWNLOAD PAPER
Propositional and predicate calculuses based on combinatory logic.
M. W. Bunder
Notre Dame J. Formal Logic 15 (1), 25-34, (January 1974) DOI: 10.1305/ndjfl/1093891196
KEYWORDS: 02C20, 02K15
No abstract available
DOWNLOAD PAPER
Generalised logic.
John Evenden
Notre Dame J. Formal Logic 15 (1), 35-44, (January 1974) DOI: 10.1305/ndjfl/1093891197
KEYWORDS: 02C05, 02B05, 02C10
No abstract available
DOWNLOAD PAPER
Possibility pre-supposition free logics.
Roderic A. Girle
Notre Dame J. Formal Logic 15 (1), 45-62, (January 1974) DOI: 10.1305/ndjfl/1093891198
KEYWORDS: 02B20
No abstract available
DOWNLOAD PAPER
Principia Mathematica description theory: the classical and an alternative notation.
Jordan Howard Sobel
Notre Dame J. Formal Logic 15 (1), 63-72, (January 1974) DOI: 10.1305/ndjfl/1093891199
KEYWORDS: 02A05
No abstract available
DOWNLOAD PAPER
Resolution and the consistency of analysis.
Peter B. Andrews
Notre Dame J. Formal Logic 15 (1), 73-84, (January 1974) DOI: 10.1305/ndjfl/1093891200
KEYWORDS: 02G10, 02D99
No abstract available
DOWNLOAD PAPER
Les propriétés du foncteur Nicod par rapport à le réciprocité et conjonction. II.
Eugen Mihăilescu
Notre Dame J. Formal Logic 15 (1), 85-96, (January 1974) DOI: 10.1305/ndjfl/1093891201
KEYWORDS: 02B05
No abstract available
DOWNLOAD PAPER
Completeness of relevant quantification theories.
J. Michael Dunn, Hugues Leblanc, Robert K. Meyer
Notre Dame J. Formal Logic 15 (1), 97-121, (January 1974) DOI: 10.1305/ndjfl/1093891202
KEYWORDS: 02G20, 02C99
No abstract available
DOWNLOAD PAPER
Models of ${\rm Th}(\langle \omega^\omega<\rangle)$.
John W. Rosenthal
Notre Dame J. Formal Logic 15 (1), 122-132, (January 1974) DOI: 10.1305/ndjfl/1093891203
KEYWORDS: 02H05, 04A10
No abstract available
DOWNLOAD PAPER
Partial universal decision elements.
J. C. Muzio
Notre Dame J. Formal Logic 15 (1), 133-140, (January 1974) DOI: 10.1305/ndjfl/1093891204
KEYWORDS: 02B05, 02F10
No abstract available
DOWNLOAD PAPER
Some mereological models.
Robert E. Clay
Notre Dame J. Formal Logic 15 (1), 141-146, (January 1974) DOI: 10.1305/ndjfl/1093891205
KEYWORDS: 02K15, 02J05
No abstract available
DOWNLOAD PAPER
${\rm S}3.02={\rm S}3.03$.
George F. Schumm
Notre Dame J. Formal Logic 15 (1), 147-148, (January 1974) DOI: 10.1305/ndjfl/1093891206
KEYWORDS: 02C10
No abstract available
DOWNLOAD PAPER
A note on finite intermediate logics.
J. G. Anderson
Notre Dame J. Formal Logic 15 (1), 149-155, (January 1974) DOI: 10.1305/ndjfl/1093891207
KEYWORDS: 02C15
No abstract available
DOWNLOAD PAPER
Combinatory and propositional logic.
David Meredith
Notre Dame J. Formal Logic 15 (1), 156-160, (January 1974) DOI: 10.1305/ndjfl/1093891208
KEYWORDS: 02C20
No abstract available
DOWNLOAD PAPER
A concise method for translating propositional formulae containing the standard truth-functional connectives into a Sheffer stroke equivalent; plus an extension of the method.
Ralph L. Slaght
Notre Dame J. Formal Logic 15 (1), 161-164, (January 1974) DOI: 10.1305/ndjfl/1093891209
KEYWORDS: 02D99
No abstract available
DOWNLOAD PAPER
Schematizing De Morgan's argument.
R. G. Wengert
Notre Dame J. Formal Logic 15 (1), 165-166, (January 1974) DOI: 10.1305/ndjfl/1093891210
KEYWORDS: 02-01
No abstract available
DOWNLOAD PAPER
A note on natural deduction in many-valued logic.
Bruce White
Notre Dame J. Formal Logic 15 (1), 167-168, (January 1974) DOI: 10.1305/ndjfl/1093891211
KEYWORDS: 02C05
No abstract available
DOWNLOAD PAPER
Concerning the proper axioms of ${\rm S}4.02$.
Bolesław Sobociński
Notre Dame J. Formal Logic 15 (1), 169-172, (January 1974) DOI: 10.1305/ndjfl/1093891212
KEYWORDS: 02C10
No abstract available
DOWNLOAD PAPER
McCawley and logic.
T. Y. Pak
Notre Dame J. Formal Logic 15 (1), 173-175, (January 1974) DOI: 10.1305/ndjfl/1093891213
KEYWORDS: 68A30
No abstract available
DOWNLOAD PAPER
A note on a consistency proof.
Frank Fox
Notre Dame J. Formal Logic 15 (1), 176, (January 1974) DOI: 10.1305/ndjfl/1093891214
KEYWORDS: 02B05
No abstract available
DOWNLOAD PAPER
Back Matter
Miscellaneous back pages, Notre Dame Journal of Formal Logic, volume 15, issue 1 (1974)
Notre Dame J. Formal Logic 15 (1), (January 1974)
No abstract available
DOWNLOAD PAPER
Back to Top