Advanced Search
Home > Journals > Notre Dame J. Formal Logic > Volume 9 > Issue 4
Notre Dame Journal of Formal Logic
VOL. 9 · NO. 4 | October 1968
 
VIEW ALL ABSTRACTS +
Front Matter
Miscellaneous front pages, Notre Dame Journal of Formal Logic, volume 9, issue 4 (1968)
Notre Dame J. Formal Logic 9 (4), (October 1968) Open Access
No abstract available
DOWNLOAD PAPER
Articles
On Kleene's recursive realizability as an interpretation for intuitionistic elementary number theory.
Robert R. Tompkins
Notre Dame J. Formal Logic 9 (4), 289-293, (October 1968) DOI: 10.1305/ndjfl/1093893512 Open Access
KEYWORDS: 02.23
No abstract available
DOWNLOAD PAPER
The propostitional calculus ${\rm MC}$ and its modal analog.
J. Jay Zeman
Notre Dame J. Formal Logic 9 (4), 294-298, (October 1968) DOI: 10.1305/ndjfl/1093893513 Open Access
KEYWORDS: 02.27
No abstract available
DOWNLOAD PAPER
The Church Rosser theorem for strong reduction in combinatory logic.
Kenneth Loewen
Notre Dame J. Formal Logic 9 (4), 299-302, (October 1968) DOI: 10.1305/ndjfl/1093893514 Open Access
KEYWORDS: 02.85
No abstract available
DOWNLOAD PAPER
A note on the structure of the power set.
G. F. Schumm
Notre Dame J. Formal Logic 9 (4), 303-304, (October 1968) DOI: 10.1305/ndjfl/1093893515 Open Access
KEYWORDS: 04.30
No abstract available
DOWNLOAD PAPER
Approximation to a decision procedure for the halting problem.
Michael Anderson
Notre Dame J. Formal Logic 9 (4), 305-312, (October 1968) DOI: 10.1305/ndjfl/1093893516 Open Access
KEYWORDS: 02.82
No abstract available
DOWNLOAD PAPER
The logical concept of existence.
John T. Kearns
Notre Dame J. Formal Logic 9 (4), 313-324, (October 1968) DOI: 10.1305/ndjfl/1093893517 Open Access
KEYWORDS: 02.00
No abstract available
DOWNLOAD PAPER
Logical continuity.
Hugh S. Chandler
Notre Dame J. Formal Logic 9 (4), 325-328, (October 1968) DOI: 10.1305/ndjfl/1093893518 Open Access
No abstract available
DOWNLOAD PAPER
On explanation of number progression.
Chung-ying Chang
Notre Dame J. Formal Logic 9 (4), 329-334, (October 1968) DOI: 10.1305/ndjfl/1093893519 Open Access
No abstract available
DOWNLOAD PAPER
A note on theses of the first-order functional calculus.
Juliusz Reichbach
Notre Dame J. Formal Logic 9 (4), 335-339, (October 1968) DOI: 10.1305/ndjfl/1093893520 Open Access
KEYWORDS: 02.16
No abstract available
DOWNLOAD PAPER
On symbolizing singulary ${\rm S}5$ functions.
John Thomas Canty
Notre Dame J. Formal Logic 9 (4), 340-342, (October 1968) DOI: 10.1305/ndjfl/1093893521 Open Access
KEYWORDS: 02.27
No abstract available
DOWNLOAD PAPER
Definitional Boolean calculi.
Richard Cole
Notre Dame J. Formal Logic 9 (4), 343-350, (October 1968) DOI: 10.1305/ndjfl/1093893522 Open Access
KEYWORDS: 02.12
No abstract available
DOWNLOAD PAPER
The shortest axioms of the implicational calculus.
Richard Tursman
Notre Dame J. Formal Logic 9 (4), 351-358, (October 1968) DOI: 10.1305/ndjfl/1093893523 Open Access
KEYWORDS: 02.12
No abstract available
DOWNLOAD PAPER
Propositional sequence-calculi for inconsistent systems.
Andrés R. Raggio
Notre Dame J. Formal Logic 9 (4), 359-366, (October 1968) DOI: 10.1305/ndjfl/1093893524 Open Access
KEYWORDS: 02.20
No abstract available
DOWNLOAD PAPER
A first order type theory for the theory of sets.
Fred Coppotelli
Notre Dame J. Formal Logic 9 (4), 367-370, (October 1968) DOI: 10.1305/ndjfl/1093893525 Open Access
KEYWORDS: 02.60
No abstract available
DOWNLOAD PAPER
Examination of the axiomatic foundations of a theory of change. I.
Laurent Larouche
Notre Dame J. Formal Logic 9 (4), 371-384, (October 1968) DOI: 10.1305/ndjfl/1093893526 Open Access
No abstract available
DOWNLOAD PAPER
Incompleteness of a logic of Routley's.
A. Trew
Notre Dame J. Formal Logic 9 (4), 385-387, (October 1968) DOI: 10.1305/ndjfl/1093893527 Open Access
KEYWORDS: 02.16
No abstract available
DOWNLOAD PAPER
Correction to my paper ``Some completeness results for intermediate propositional logics''.
C. G. McKay
Notre Dame J. Formal Logic 9 (4), 388, (October 1968) DOI: 10.1305/ndjfl/1093893528 Open Access
KEYWORDS: 02.20
No abstract available
DOWNLOAD PAPER
Back Matter
Miscellaneous back pages, Notre Dame Journal of Formal Logic, volume 9, issue 4 (1968)
Notre Dame J. Formal Logic 9 (4), (October 1968) Open Access
No abstract available
DOWNLOAD PAPER
Back to Top