Advanced Search
Home > Journals > Notre Dame J. Formal Logic > Volume 8 > Issue 4
Notre Dame Journal of Formal Logic
VOL. 8 · NO. 4 | October 1967
 
VIEW ALL ABSTRACTS +
Front Matter
Miscellaneous front pages, Notre Dame Journal of Formal Logic, volume 8, issue 4 (1967)
Notre Dame J. Formal Logic 8 (4), (October 1967) Open Access
No abstract available
DOWNLOAD PAPER
Articles
L'axiome du choix.
Wacław Sierpiński
Notre Dame J. Formal Logic 8 (4), 257-266, (October 1967) DOI: 10.1305/ndjfl/1094068837 Open Access
KEYWORDS: 04.00
No abstract available
DOWNLOAD PAPER
Some complete calculi of individuals.
Rolf A. Eberle
Notre Dame J. Formal Logic 8 (4), 267-278, (October 1967) DOI: 10.1305/ndjfl/1094068838 Open Access
KEYWORDS: 02.20
No abstract available
DOWNLOAD PAPER
A single axiom for the mereological notion of proper part.
Czesław Lejewski
Notre Dame J. Formal Logic 8 (4), 279-285, (October 1967) DOI: 10.1305/ndjfl/1094068839 Open Access
KEYWORDS: 02.20
No abstract available
DOWNLOAD PAPER
Some systems of natural deduction.
Paul Strauss
Notre Dame J. Formal Logic 8 (4), 286-290, (October 1967) DOI: 10.1305/ndjfl/1094068840 Open Access
KEYWORDS: 02.18
No abstract available
DOWNLOAD PAPER
A theorem for deriving consequences of the axiom of choice.
Francis J. Tytus
Notre Dame J. Formal Logic 8 (4), 291-296, (October 1967) DOI: 10.1305/ndjfl/1094068841 Open Access
KEYWORDS: 04.30
No abstract available
DOWNLOAD PAPER
An elementary construction of the natural numbers.
Francis J. Tytus
Notre Dame J. Formal Logic 8 (4), 297-300, (October 1967) DOI: 10.1305/ndjfl/1094068842 Open Access
KEYWORDS: 02.60
No abstract available
DOWNLOAD PAPER
Regressive functions and combinatorial functions.
Carl E. Bredlau
Notre Dame J. Formal Logic 8 (4), 301-310, (October 1967) DOI: 10.1305/ndjfl/1094068843 Open Access
KEYWORDS: 02.70
No abstract available
DOWNLOAD PAPER
Primitive recursive computations.
Stephen H. McCleary
Notre Dame J. Formal Logic 8 (4), 311-317, (October 1967) DOI: 10.1305/ndjfl/1094068844 Open Access
KEYWORDS: 02.70
No abstract available
DOWNLOAD PAPER
Number system for the immediate inferences and the syllogism in Aristotelian logic.
Edward A. Hacker
Notre Dame J. Formal Logic 8 (4), 318-320, (October 1967) DOI: 10.1305/ndjfl/1094068845 Open Access
No abstract available
DOWNLOAD PAPER
Pure numerical Boolean syllogisms.
Edward A. Hacker, William Tuthill Parry
Notre Dame J. Formal Logic 8 (4), 321-324, (October 1967) DOI: 10.1305/ndjfl/1094068846 Open Access
No abstract available
DOWNLOAD PAPER
On the extension of S4 with $CLMpMLp$.
R. A. Bull
Notre Dame J. Formal Logic 8 (4), 325-329, (October 1967) DOI: 10.1305/ndjfl/1094068847 Open Access
KEYWORDS: 02.27
No abstract available
DOWNLOAD PAPER
On three related extensions of S4.
R. A. Bull
Notre Dame J. Formal Logic 8 (4), 330-334, (October 1967) DOI: 10.1305/ndjfl/1094068848 Open Access
KEYWORDS: 02.27
No abstract available
DOWNLOAD PAPER
A theorem on ${\rm S}4.2$ and ${\rm S}4.4$.
Ivo Thomas
Notre Dame J. Formal Logic 8 (4), 335-336, (October 1967) DOI: 10.1305/ndjfl/1094068849 Open Access
KEYWORDS: 02.27
No abstract available
DOWNLOAD PAPER
Decision for $K4$.
Ivo Thomas
Notre Dame J. Formal Logic 8 (4), 337-338, (October 1967) DOI: 10.1305/ndjfl/1094068850 Open Access
KEYWORDS: 02C10
No abstract available
DOWNLOAD PAPER
Alternative completeness theorems for modal systems.
M. J. Cresswell
Notre Dame J. Formal Logic 8 (4), 339-345, (October 1967) DOI: 10.1305/ndjfl/1094068851 Open Access
KEYWORDS: 02.27
No abstract available
DOWNLOAD PAPER
Non-paradoxical paradoxes?
John H. Woods
Notre Dame J. Formal Logic 8 (4), 346-352, (October 1967) DOI: 10.1305/ndjfl/1094068852 Open Access
No abstract available
DOWNLOAD PAPER
On new theorems for elementary number theory.
Albert A. Mullin
Notre Dame J. Formal Logic 8 (4), 353-356, (October 1967) DOI: 10.1305/ndjfl/1094068853 Open Access
KEYWORDS: 10.05
No abstract available
DOWNLOAD PAPER
Back Matter
Miscellaneous back pages, Notre Dame Journal of Formal Logic, volume 8, issue 4 (1967)
Notre Dame J. Formal Logic 8 (4), (October 1967) Open Access
No abstract available
DOWNLOAD PAPER
Back to Top