Advanced Search
Home > Journals > Notre Dame J. Formal Logic > Volume 4 > Issue 3
Notre Dame Journal of Formal Logic
VOL. 4 · NO. 3 | 1963
 
VIEW ALL ABSTRACTS +
Articles
Obituary of Thoralf A. Skolem.
Notre Dame J. Formal Logic 4 (3), 161, (1963) DOI: 10.1305/ndjfl/1093957572 Open Access
No abstract available
DOWNLOAD PAPER
Studies on the axiom of comprehension.
Th. Skolem
Notre Dame J. Formal Logic 4 (3), 162-170, (1963) DOI: 10.1305/ndjfl/1093957573 Open Access
KEYWORDS: 02.63
No abstract available
DOWNLOAD PAPER
Notes on the axiomatics of the propositional calculus.
C. A. Meredith, A. N. Prior
Notre Dame J. Formal Logic 4 (3), 171-187, (1963) DOI: 10.1305/ndjfl/1093957574 Open Access
KEYWORDS: 02.12
No abstract available
DOWNLOAD PAPER
Postulates for the substitutive algebra of the $2$-place functors in the $2$-valued calculus of propositions.
Karl Menger, Martin Schultz
Notre Dame J. Formal Logic 4 (3), 188-192, (1963) DOI: 10.1305/ndjfl/1093957575 Open Access
KEYWORDS: 02.40
No abstract available
DOWNLOAD PAPER
Relations irreducible to classes.
F. G. Asenjo
Notre Dame J. Formal Logic 4 (3), 193-200, (1963) DOI: 10.1305/ndjfl/1093957576 Open Access
KEYWORDS: 02.99
No abstract available
DOWNLOAD PAPER
On some recent criticism of Church's Thesis.
Elliott Mendelson
Notre Dame J. Formal Logic 4 (3), 201-205, (1963) DOI: 10.1305/ndjfl/1093957577 Open Access
KEYWORDS: 02.70
No abstract available
DOWNLOAD PAPER
Jacobson theory of ringoids.
S. K. Sehgal
Notre Dame J. Formal Logic 4 (3), 206-215, (1963) DOI: 10.1305/ndjfl/1093957578 Open Access
KEYWORDS: 16.96
No abstract available
DOWNLOAD PAPER
Truth value assignment in predicate calculus of first order.
Setsuo Saito
Notre Dame J. Formal Logic 4 (3), 216-223, (1963) DOI: 10.1305/ndjfl/1093957579 Open Access
KEYWORDS: 02.16
No abstract available
DOWNLOAD PAPER
A stipulation of a modal propositional calculus in terms of modalized truth-values.
Charles E. Caton
Notre Dame J. Formal Logic 4 (3), 224-226, (1963) DOI: 10.1305/ndjfl/1093957580 Open Access
KEYWORDS: 02.27
No abstract available
DOWNLOAD PAPER
Bases for S$4$ and S$4.2$ without added axioms.
J. Jay Zeman
Notre Dame J. Formal Logic 4 (3), 227-230, (1963) DOI: 10.1305/ndjfl/1093957581 Open Access
KEYWORDS: 02.27
No abstract available
DOWNLOAD PAPER
A final note on S$1\deg$ and the Brouwerian axioms.
Ivo Thomas
Notre Dame J. Formal Logic 4 (3), 231-232, (1963) DOI: 10.1305/ndjfl/1093957582 Open Access
KEYWORDS: 02.27
No abstract available
DOWNLOAD PAPER
A note on the generalized continuum hypothesis. III.
Bolesław Sobociński
Notre Dame J. Formal Logic 4 (3), 233-240, (1963) DOI: 10.1305/ndjfl/1093957583 Open Access
KEYWORDS: 04.30
No abstract available
DOWNLOAD PAPER
Back to Top