Advanced Search
Home > Journals > Notre Dame J. Formal Logic > Volume 11 > Issue 1
Notre Dame Journal of Formal Logic
VOL. 11 · NO. 1 | January 1970
 
VIEW ALL ABSTRACTS +
Front Matter
Miscellaneous front pages, Notre Dame Journal of Formal Logic, volume 11, issue 1 (1970)
Notre Dame J. Formal Logic 11 (1), (January 1970) Open Access
No abstract available
DOWNLOAD PAPER
Articles
On the number of variables in the axioms.
M. D. Gladstone
Notre Dame J. Formal Logic 11 (1), 1-15, (January 1970) DOI: 10.1305/ndjfl/1093893854 Open Access
KEYWORDS: 02.12
No abstract available
DOWNLOAD PAPER
Final word on a shortest implicational axiom.
Ivo Thomas
Notre Dame J. Formal Logic 11 (1), 16, (January 1970) DOI: 10.1305/ndjfl/1093893855 Open Access
KEYWORDS: 02.12
No abstract available
DOWNLOAD PAPER
Some notes on syllogistic in the sixteenth and seventeenth centuries.
E. J. Ashworth
Notre Dame J. Formal Logic 11 (1), 17-33, (January 1970) DOI: 10.1305/ndjfl/1093893856 Open Access
KEYWORDS: 01.18, 01.20
No abstract available
DOWNLOAD PAPER
Syllogistic and non-syllogistic aspects of the comparative argument.
J. Herbert Blackhurst
Notre Dame J. Formal Logic 11 (1), 34-36, (January 1970) DOI: 10.1305/ndjfl/1093893857 Open Access
KEYWORDS: 02.10
No abstract available
DOWNLOAD PAPER
Reconstructing formal logic: Further developments and considerations.
George Goe
Notre Dame J. Formal Logic 11 (1), 37-75, (January 1970) DOI: 10.1305/ndjfl/1093893858 Open Access
KEYWORDS: 02.16
No abstract available
DOWNLOAD PAPER
A proof of the Löwenheim-Skolem theorem.
George S. Boolos
Notre Dame J. Formal Logic 11 (1), 76-78, (January 1970) DOI: 10.1305/ndjfl/1093893859 Open Access
KEYWORDS: 02H05
No abstract available
DOWNLOAD PAPER
A new proof of the compactness theorem for propositional logic.
Robert H. Cowen
Notre Dame J. Formal Logic 11 (1), 79-80, (January 1970) DOI: 10.1305/ndjfl/1093893860 Open Access
KEYWORDS: 02.12
No abstract available
DOWNLOAD PAPER
Sur les axiomes de Götlind.
Albert Sade
Notre Dame J. Formal Logic 11 (1), 81-88, (January 1970) DOI: 10.1305/ndjfl/1093893861 Open Access
KEYWORDS: 02B05
No abstract available
DOWNLOAD PAPER
Zur Frage der Existenzvoraussetzungen in der Logik.
I. Dapunt
Notre Dame J. Formal Logic 11 (1), 89-96, (January 1970) DOI: 10.1305/ndjfl/1093893862 Open Access
KEYWORDS: 00.50, 02.00
No abstract available
DOWNLOAD PAPER
A note on primary and secondary syncategoremata.
Douglas Dorrough
Notre Dame J. Formal Logic 11 (1), 97-98, (January 1970) DOI: 10.1305/ndjfl/1093893863 Open Access
KEYWORDS: 94.50
No abstract available
DOWNLOAD PAPER
A remark on note on duality.
Sibajiban
Notre Dame J. Formal Logic 11 (1), 99-100, (January 1970) DOI: 10.1305/ndjfl/1093893864 Open Access
KEYWORDS: 02.12
No abstract available
DOWNLOAD PAPER
A characterization of a spherical $m$-arrangement.
Michael C. Gemignani
Notre Dame J. Formal Logic 11 (1), 101-105, (January 1970) DOI: 10.1305/ndjfl/1093893865 Open Access
KEYWORDS: 50.05, 54.00
No abstract available
DOWNLOAD PAPER
Every functionally complete $m$-valued logic has a Post-complete axiomatization.
Nuel D. Belnap Jr., Storrs McCall
Notre Dame J. Formal Logic 11 (1), 106, (January 1970) DOI: 10.1305/ndjfl/1093893866 Open Access
KEYWORDS: 02.25
No abstract available
DOWNLOAD PAPER
Generalizability of the propositional and predicate calculi to infinite-valued calculi.
Hermann F. Schott
Notre Dame J. Formal Logic 11 (1), 107-128, (January 1970) DOI: 10.1305/ndjfl/1093893867 Open Access
KEYWORDS: 02.12
No abstract available
DOWNLOAD PAPER
Back Matter
Miscellaneous back pages, Notre Dame Journal of Formal Logic, volume 11, issue 1 (1970)
Notre Dame J. Formal Logic 11 (1), (January 1970) Open Access
No abstract available
DOWNLOAD PAPER
Back to Top