Advanced Search
Home > Journals > Notre Dame J. Formal Logic > Volume 9 > Issue 1
Notre Dame Journal of Formal Logic
VOL. 9 · NO. 1 | January 1968
 
VIEW ALL ABSTRACTS +
Front Matter
Miscellaneous front pages, Notre Dame Journal of Formal Logic, volume 9, issue 1 (1968)
Notre Dame J. Formal Logic 9 (1), (January 1968) Open Access
No abstract available
DOWNLOAD PAPER
Articles
In memoriam: Edward John Lemmon (1930---1966).
Ivo Thomas
Notre Dame J. Formal Logic 9 (1), 1-3, (January 1968) DOI: 10.1305/ndjfl/1093893347 Open Access
KEYWORDS: 01.50
No abstract available
DOWNLOAD PAPER
Note on definitional reductions.
Jonathan P. Seldin
Notre Dame J. Formal Logic 9 (1), 4-6, (January 1968) DOI: 10.1305/ndjfl/1093893348 Open Access
KEYWORDS: 02.85
No abstract available
DOWNLOAD PAPER
Ontology in the Tractatus of L. Wittgenstein.
Roman Suszko
Notre Dame J. Formal Logic 9 (1), 7-33, (January 1968) DOI: 10.1305/ndjfl/1093893349 Open Access
KEYWORDS: 02.52
No abstract available
DOWNLOAD PAPER
The rule of Peirce.
Ivo Thomas
Notre Dame J. Formal Logic 9 (1), 34, (January 1968) DOI: 10.1305/ndjfl/1093893350 Open Access
KEYWORDS: 02.12
No abstract available
DOWNLOAD PAPER
Creative sequences and double sequences.
M. Adrian Carpentier
Notre Dame J. Formal Logic 9 (1), 35-61, (January 1968) DOI: 10.1305/ndjfl/1093893351 Open Access
KEYWORDS: 02.70
No abstract available
DOWNLOAD PAPER
Some proofs of relative completeness in modal logic.
M. J. Cresswell
Notre Dame J. Formal Logic 9 (1), 62-66, (January 1968) DOI: 10.1305/ndjfl/1093893352 Open Access
KEYWORDS: 02.27
No abstract available
DOWNLOAD PAPER
A philosophical remark on Gödel's unprovability of consistency proof.
Francesca Rivetti Barbò
Notre Dame J. Formal Logic 9 (1), 67-74, (January 1968) DOI: 10.1305/ndjfl/1093893353 Open Access
No abstract available
DOWNLOAD PAPER
Completeness without the Barcan formula.
M. J. Cresswell
Notre Dame J. Formal Logic 9 (1), 75-80, (January 1968) DOI: 10.1305/ndjfl/1093893354 Open Access
KEYWORDS: 02.27
No abstract available
DOWNLOAD PAPER
Normal form generation of ${\rm S}5$ functions via truth functions.
Gerald J. Massey
Notre Dame J. Formal Logic 9 (1), 81-85, (January 1968) DOI: 10.1305/ndjfl/1093893355 Open Access
KEYWORDS: 02.27
No abstract available
DOWNLOAD PAPER
On provable recursive functions.
H. B. Enderton
Notre Dame J. Formal Logic 9 (1), 86-88, (January 1968) DOI: 10.1305/ndjfl/1093893356 Open Access
KEYWORDS: 02.70
No abstract available
DOWNLOAD PAPER
A note on the arithmetical hierarchy.
Stephen L. Bloom
Notre Dame J. Formal Logic 9 (1), 89-91, (January 1968) DOI: 10.1305/ndjfl/1093893357 Open Access
KEYWORDS: 02.77
No abstract available
DOWNLOAD PAPER
On the Leibnizian modal system.
Setsuo Saito
Notre Dame J. Formal Logic 9 (1), 92-96, (January 1968) DOI: 10.1305/ndjfl/1093893358 Open Access
KEYWORDS: 02.27
No abstract available
DOWNLOAD PAPER
Back Matter
Miscellaneous back pages, Notre Dame Journal of Formal Logic, volume 9, issue 1 (1968)
Notre Dame J. Formal Logic 9 (1), (January 1968) Open Access
No abstract available
DOWNLOAD PAPER
Back to Top