Advanced Search
Home > Journals > Notre Dame J. Formal Logic > Volume 2 > Issue 4
Notre Dame Journal of Formal Logic
VOL. 2 · NO. 4 | 1961
 
VIEW ALL ABSTRACTS +
Articles
The truncation of truth-functional calculation.
Desmond Paul Henry
Notre Dame J. Formal Logic 2 (4), 193-205, (1961) DOI: 10.1305/ndjfl/1093956969 Open Access
KEYWORDS: 02.12
No abstract available
DOWNLOAD PAPER
Some defninitions of subjunctive implication, of counterfactual implication, and of related concepts.
Rolf Schock
Notre Dame J. Formal Logic 2 (4), 206-221, (1961) DOI: 10.1305/ndjfl/1093956970 Open Access
No abstract available
DOWNLOAD PAPER
A theorem on maximal sets.
Joseph S. Ullian
Notre Dame J. Formal Logic 2 (4), 222-223, (1961) DOI: 10.1305/ndjfl/1093956971 Open Access
KEYWORDS: 02.70
No abstract available
DOWNLOAD PAPER
Notes on foundations. I.
G. Y. Rainich
Notre Dame J. Formal Logic 2 (4), 224-227, (1961) DOI: 10.1305/ndjfl/1093956972 Open Access
No abstract available
DOWNLOAD PAPER
A note on on the Gödel theorem.
Norwood Russell Hanson
Notre Dame J. Formal Logic 2 (4), 228, (1961) DOI: 10.1305/ndjfl/1093956973 Open Access
No abstract available
DOWNLOAD PAPER
Certain formulas equivalent to the axiom of choice.
Bolesław Sobociński
Notre Dame J. Formal Logic 2 (4), 229-235, (1961) DOI: 10.1305/ndjfl/1093956974 Open Access
KEYWORDS: 04.30
No abstract available
DOWNLOAD PAPER
Conditionally-restricted operations.
J. L. Mackie
Notre Dame J. Formal Logic 2 (4), 236-243, (1961) DOI: 10.1305/ndjfl/1093956975 Open Access
No abstract available
DOWNLOAD PAPER
Language as existent.
Harry A. Nielsen
Notre Dame J. Formal Logic 2 (4), 244-250, (1961) DOI: 10.1305/ndjfl/1093956976 Open Access
No abstract available
DOWNLOAD PAPER
A note to my paper: ``On characterizations of the first-order functional calculus''.
Juliusz Reichbach
Notre Dame J. Formal Logic 2 (4), 251-252, (1961) DOI: 10.1305/ndjfl/1093956977 Open Access
KEYWORDS: 02.16
No abstract available
DOWNLOAD PAPER
Correlative remarks concerning elementary number theory, groups and mutant sets.
Albert A. Mullin
Notre Dame J. Formal Logic 2 (4), 253-254, (1961) DOI: 10.1305/ndjfl/1093956978 Open Access
No abstract available
DOWNLOAD PAPER
A theorem on Hartogs' alephs.
Bolesław Sobociński
Notre Dame J. Formal Logic 2 (4), 255-258, (1961) DOI: 10.1305/ndjfl/1093956979 Open Access
KEYWORDS: 04.30
No abstract available
DOWNLOAD PAPER
Back Matter
Errata: On the single axioms of protothetic. III.
Bolesław Sobociński
Notre Dame J. Formal Logic 2 (4), 259, (1961) Open Access
KEYWORDS: 02.20
No abstract available
DOWNLOAD PAPER
Errata: Three set-theoretical formulas.
Bolesław Sobociński
Notre Dame J. Formal Logic 2 (4), 259, (1961) Open Access
KEYWORDS: 02.60
No abstract available
DOWNLOAD PAPER
Errata: ``On characterizations of the first-order functional calculus''.
Juliusz Reichbach
Notre Dame J. Formal Logic 2 (4), 259, (1961) Open Access
KEYWORDS: 02.16
No abstract available
DOWNLOAD PAPER
Errata: ``On the single axioms of protothetic. I.''
Bolesław Sobociński
Notre Dame J. Formal Logic 2 (4), 259, (1961) Open Access
KEYWORDS: 02.20
No abstract available
DOWNLOAD PAPER
Errata: ``A double-iteration property of Boolean functions''.
Carl Lyngholm, Wolfgang Yourgrau
Notre Dame J. Formal Logic 2 (4), 259, (1961) Open Access
KEYWORDS: 06.60
No abstract available
DOWNLOAD PAPER
Back to Top