Advanced Search
Home > Journals > Notre Dame J. Formal Logic > Volume 4 > Issue 1
Notre Dame Journal of Formal Logic
VOL. 4 · NO. 1 | 1963
 
VIEW ALL ABSTRACTS +
Front Matter
Miscellaneous front pages, Notre Dame Journal of Formal Logic, volume 4, issue 1 (1963)
Notre Dame J. Formal Logic 4 (1), (1963) Open Access
No abstract available
DOWNLOAD PAPER
Articles
Logical determinism.
Zbigniew Jordan
Notre Dame J. Formal Logic 4 (1), 1-38, (1963) DOI: 10.1305/ndjfl/1093957391 Open Access
KEYWORDS: 02.00
No abstract available
DOWNLOAD PAPER
A rule-completeness theorem.
Nuel D. Belnap Jr., Richmond H. Thomason
Notre Dame J. Formal Logic 4 (1), 39-43, (1963) DOI: 10.1305/ndjfl/1093957392 Open Access
KEYWORDS: 02.23
No abstract available
DOWNLOAD PAPER
Addendum to my article: ``Proof of some theorems on recursively enumerable sets''.
Thoralf Skolem
Notre Dame J. Formal Logic 4 (1), 44-47, (1963) DOI: 10.1305/ndjfl/1093957393 Open Access
KEYWORDS: 02.70
No abstract available
DOWNLOAD PAPER
Avicenna on the logic of ``conditional'' propositions.
Nicholas Rescher
Notre Dame J. Formal Logic 4 (1), 48-58, (1963) DOI: 10.1305/ndjfl/1093957394 Open Access
KEYWORDS: 01.12, 02.00
No abstract available
DOWNLOAD PAPER
A standard form for Ł ukasiewicz many-valued logics.
Robert E. Clay
Notre Dame J. Formal Logic 4 (1), 59-66, (1963) DOI: 10.1305/ndjfl/1093957395 Open Access
KEYWORDS: 02.25
No abstract available
DOWNLOAD PAPER
A note on the generalized continuum hypothesis. II.
Bolesław Sobociński
Notre Dame J. Formal Logic 4 (1), 67-79, (1963) DOI: 10.1305/ndjfl/1093957396 Open Access
KEYWORDS: 04.30
No abstract available
DOWNLOAD PAPER
On strengthening intuitionistic logic.
Richard E. Vesley
Notre Dame J. Formal Logic 4 (1), 80, (1963) DOI: 10.1305/ndjfl/1093957397 Open Access
KEYWORDS: 02.23
No abstract available
DOWNLOAD PAPER
Back Matter
Miscellaneous back pages, Notre Dame Journal of Formal Logic, volume 4, issue 1 (1963)
Notre Dame J. Formal Logic 4 (1), (1963) Open Access
No abstract available
DOWNLOAD PAPER
Back to Top