Advanced Search
Home > Journals > Notre Dame J. Formal Logic > Volume 11 > Issue 3
Notre Dame Journal of Formal Logic
VOL. 11 · NO. 3 | July 1970
 
VIEW ALL ABSTRACTS +
Front Matter
Miscellaneous front pages, Notre Dame Journal of Formal Logic, volume 11, issue 3 (1970)
Notre Dame J. Formal Logic 11 (3), (July 1970) Open Access
No abstract available
DOWNLOAD PAPER
Articles
Expressibility in type theory.
H. Julian Wadleigh
Notre Dame J. Formal Logic 11 (3), 257-288, (July 1970) DOI: 10.1305/ndjfl/1093894000 Open Access
KEYWORDS: 00.50, 02.00
No abstract available
DOWNLOAD PAPER
Non-existence does not exist.
R. Routley
Notre Dame J. Formal Logic 11 (3), 289-320, (July 1970) DOI: 10.1305/ndjfl/1093894001 Open Access
KEYWORDS: 00.50, 02.00
No abstract available
DOWNLOAD PAPER
A logical calculus of analogy involving functions of order $2$.
Douglas C. Dorrough
Notre Dame J. Formal Logic 11 (3), 321-336, (July 1970) DOI: 10.1305/ndjfl/1093894002 Open Access
KEYWORDS: 02.20
No abstract available
DOWNLOAD PAPER
A note on a lemma of J. W. Addison.
Richard L. Poss
Notre Dame J. Formal Logic 11 (3), 337-339, (July 1970) DOI: 10.1305/ndjfl/1093894003 Open Access
KEYWORDS: 02.77
No abstract available
DOWNLOAD PAPER
Binary closure-algebraic operations that are functionally complete.
Gerald J. Massey
Notre Dame J. Formal Logic 11 (3), 340-342, (July 1970) DOI: 10.1305/ndjfl/1093894004 Open Access
KEYWORDS: 02.27
No abstract available
DOWNLOAD PAPER
Note on G. J. Massey's closure-algebraic operation.
Bolesław Sobociński
Notre Dame J. Formal Logic 11 (3), 343-346, (July 1970) DOI: 10.1305/ndjfl/1093894005 Open Access
KEYWORDS: 02.27
No abstract available
DOWNLOAD PAPER
Certain extensions of modal system $S4$.
Bolesław Sobociński
Notre Dame J. Formal Logic 11 (3), 347-368, (July 1970) DOI: 10.1305/ndjfl/1093894006 Open Access
KEYWORDS: 02.27
No abstract available
DOWNLOAD PAPER
Ein nichtkonstruktiver Beweis des ersten $\varepsilon$-theorems.
Wilhelm K. Essler
Notre Dame J. Formal Logic 11 (3), 369-371, (July 1970) DOI: 10.1305/ndjfl/1093894007 Open Access
KEYWORDS: 02B10
No abstract available
DOWNLOAD PAPER
On a problem of Th. Skolem.
John H. Harris
Notre Dame J. Formal Logic 11 (3), 372-374, (July 1970) DOI: 10.1305/ndjfl/1093894008 Open Access
KEYWORDS: 02.63
No abstract available
DOWNLOAD PAPER
Locating vertices of trees.
Martin M. Zuckerman
Notre Dame J. Formal Logic 11 (3), 375-378, (July 1970) DOI: 10.1305/ndjfl/1093894009 Open Access
KEYWORDS: 05.45
No abstract available
DOWNLOAD PAPER
The completeness of Copi's system of natural deduction.
John A. Winnie
Notre Dame J. Formal Logic 11 (3), 379-382, (July 1970) DOI: 10.1305/ndjfl/1093894010 Open Access
KEYWORDS: 02.16
No abstract available
DOWNLOAD PAPER
Note on Zeman's modal system $S4.04$.
Bolesław Sobociński
Notre Dame J. Formal Logic 11 (3), 383-384, (July 1970) DOI: 10.1305/ndjfl/1093894011 Open Access
KEYWORDS: 02.25
No abstract available
DOWNLOAD PAPER
Back Matter
Miscellaneous back pages, Notre Dame Journal of Formal Logic, volume 11, issue 3 (1970)
Notre Dame J. Formal Logic 11 (3), (July 1970) Open Access
No abstract available
DOWNLOAD PAPER
Back to Top