Advanced Search
Home > Journals > Notre Dame J. Formal Logic > Volume 3 > Issue 4
Notre Dame Journal of Formal Logic
VOL. 3 · NO. 4 | 1962
 
VIEW ALL ABSTRACTS +
Articles
The method of possibility-diagrams for testing the validity of certain types of inferences, based on Jevons' logical alphabet.
Gordon L. Brumm
Notre Dame J. Formal Logic 3 (4), 209-233, (1962) DOI: 10.1305/ndjfl/1093957315 Open Access
No abstract available
DOWNLOAD PAPER
A preliminary report on the theory of unification of sciences and its concept transforming automation.
D. L. Székely
Notre Dame J. Formal Logic 3 (4), 234-242, (1962) DOI: 10.1305/ndjfl/1093957316 Open Access
No abstract available
DOWNLOAD PAPER
A diagram of the functors of the two-valued propositional calculus.
Thomas W. Scharle
Notre Dame J. Formal Logic 3 (4), 243-255, (1962) DOI: 10.1305/ndjfl/1093957317 Open Access
KEYWORDS: 02.12
No abstract available
DOWNLOAD PAPER
A reduction in the number of independent axiom schemata for $S4$.
Leo Simons
Notre Dame J. Formal Logic 3 (4), 256-258, (1962) DOI: 10.1305/ndjfl/1093957318 Open Access
KEYWORDS: 02.27
No abstract available
DOWNLOAD PAPER
Formal logic and formal ontology in Husserl's phenomenology.
Frederick James Crosson
Notre Dame J. Formal Logic 3 (4), 259-269, (1962) DOI: 10.1305/ndjfl/1093957319 Open Access
KEYWORDS: 02.99
No abstract available
DOWNLOAD PAPER
On an extension of a theorem of Friedberg.
Thomas G. McLaughlin
Notre Dame J. Formal Logic 3 (4), 270-273, (1962) DOI: 10.1305/ndjfl/1093957320 Open Access
KEYWORDS: 02.70
No abstract available
DOWNLOAD PAPER
A note on the generalized continuum hypothesis. I.
Bolesław Sobociński
Notre Dame J. Formal Logic 3 (4), 274-278, (1962) DOI: 10.1305/ndjfl/1093957321 Open Access
KEYWORDS: 04.30
No abstract available
DOWNLOAD PAPER
A remark concerning the third theorem about the existence of successors of cardinals.
Bolesław Sobociński
Notre Dame J. Formal Logic 3 (4), 279-283, (1962) DOI: 10.1305/ndjfl/1093957322 Open Access
KEYWORDS: 02.60, 04.00
No abstract available
DOWNLOAD PAPER
A new condition for a modular lattice.
Paula Marie Wilde
Notre Dame J. Formal Logic 3 (4), 284-286, (1962) DOI: 10.1305/ndjfl/1093957323 Open Access
KEYWORDS: 06.40
No abstract available
DOWNLOAD PAPER
Note to my paper: ``A diagram of the functors of the two-valued propositional calculus''.
Thomas W. Scharle
Notre Dame J. Formal Logic 3 (4), 287-288, (1962) DOI: 10.1305/ndjfl/1093957324 Open Access
KEYWORDS: 02.12
No abstract available
DOWNLOAD PAPER
A note on subjunctive and counterfactual implication.
Rolf Schock
Notre Dame J. Formal Logic 3 (4), 289-290, (1962) DOI: 10.1305/ndjfl/1093957325 Open Access
No abstract available
DOWNLOAD PAPER
Back Matter
Errata and addenda.
Notre Dame J. Formal Logic 3 (4), 291-292, (1962) Open Access
No abstract available
DOWNLOAD PAPER
Back to Top